mcrl2::smt::detail::fixed_string_translation Struct Reference

Inheritance diagram for mcrl2::smt::detail::fixed_string_translation:

Public Member Functions
	fixed_string_translation (const std::string &s)
void	operator() (const data::data_expression &, const std::function< void(std::string)> &output_func, const std::function< void(data::data_expression)> &) const
	fixed_string_translation (const std::string &s)
void	operator() (const data::data_expression &, const std::function< void(std::string)> &output_func, const std::function< void(data::data_expression)> &) const

Public Attributes
std::string	translation

Detailed Description

Definition at line 69 of file solver.cpp.

Constructor & Destructor Documentation

fixed_string_translation() [1/2]

mcrl2::smt::detail::fixed_string_translation::fixed_string_translation ( const std::string &  s )

inline

Definition at line 73 of file solver.cpp.

fixed_string_translation() [2/2]

mcrl2::smt::detail::fixed_string_translation::fixed_string_translation ( const std::string &  s )

inline

Definition at line 73 of file solver.cpp.

Member Function Documentation

operator()() [1/2]

void mcrl2::smt::detail::fixed_string_translation::operator() ( const data::data_expression &  , const std::function< void(std::string)> &  output_func, const std::function< void(data::data_expression)> &    ) const

inline

Definition at line 77 of file solver.cpp.

operator()() [2/2]

void mcrl2::smt::detail::fixed_string_translation::operator() ( const data::data_expression &  , const std::function< void(std::string)> &  output_func, const std::function< void(data::data_expression)> &    ) const

inline

Definition at line 77 of file solver.cpp.

Member Data Documentation

translation

std::string mcrl2::smt::detail::fixed_string_translation::translation

Definition at line 71 of file solver.cpp.

---

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

• smt/source/solver.cpp