mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream > Struct Template Reference

#include <translate_sort.h>

Inheritance diagram for mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream >:

Public Types

typedef Traverser< translate_sort_expression_traverser< Traverser, OutputStream > > super
 

Public Member Functions

 translate_sort_expression_traverser (OutputStream &out_, const native_translations &nt, const std::map< data::structured_sort, std::string > &snm)
 
void apply (const data::basic_sort &s)
 
void apply (const data::container_sort &s)
 
void apply (const data::structured_sort &s)
 
void apply (const data::function_sort &s)
 

Public Attributes

OutputStream & out
 
const native_translations & m_native
 
const std::map< data::structured_sort, std::string > & m_struct_names
 

Detailed Description

template<template< class > class Traverser, class OutputStream>
struct mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream >

Definition at line 30 of file translate_sort.h.

Member Typedef Documentation

◆ super

template<template< class > class Traverser, class OutputStream >
typedef Traverser<translate_sort_expression_traverser<Traverser, OutputStream> > mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream >::super

Definition at line 32 of file translate_sort.h.

Constructor & Destructor Documentation

◆ translate_sort_expression_traverser()

template<template< class > class Traverser, class OutputStream >
mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream >::translate_sort_expression_traverser ( OutputStream &  out_,
const native_translations &  nt,
const std::map< data::structured_sort, std::string > &  snm 
)
inline

Definition at line 41 of file translate_sort.h.

Member Function Documentation

◆ apply() [1/4]

template<template< class > class Traverser, class OutputStream >
void mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream >::apply ( const data::basic_sort &  s)
inline

Definition at line 47 of file translate_sort.h.

◆ apply() [2/4]

template<template< class > class Traverser, class OutputStream >
void mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream >::apply ( const data::container_sort &  s)
inline

Definition at line 59 of file translate_sort.h.

◆ apply() [3/4]

template<template< class > class Traverser, class OutputStream >
void mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream >::apply ( const data::function_sort &  s)
inline

Definition at line 79 of file translate_sort.h.

◆ apply() [4/4]

template<template< class > class Traverser, class OutputStream >
void mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream >::apply ( const data::structured_sort &  s)
inline

Definition at line 66 of file translate_sort.h.

Member Data Documentation

◆ m_native

template<template< class > class Traverser, class OutputStream >
const native_translations& mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream >::m_native

Definition at line 38 of file translate_sort.h.

◆ m_struct_names

template<template< class > class Traverser, class OutputStream >
const std::map<data::structured_sort, std::string>& mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream >::m_struct_names

Definition at line 39 of file translate_sort.h.

◆ out

template<template< class > class Traverser, class OutputStream >
OutputStream& mcrl2::smt::detail::translate_sort_expression_traverser< Traverser, OutputStream >::out

Definition at line 37 of file translate_sort.h.

The documentation for this struct was generated from the following file: