mCRL2
|
#include <lts_convert.h>
Public Member Functions | |
convertor (const lts_aut_base &, const lts_lts_base <s_base_out) | |
Public Attributes | |
const data::data_specification & | m_data |
lps::multi_action_type_checker | m_typechecker |
Definition at line 633 of file lts_convert.h.
|
inline |
Definition at line 639 of file lts_convert.h.
const data::data_specification& mcrl2::lts::detail::convertor< lts_aut_base, lts_lts_base >::m_data |
Definition at line 636 of file lts_convert.h.
lps::multi_action_type_checker mcrl2::lts::detail::convertor< lts_aut_base, lts_lts_base >::m_typechecker |
Definition at line 637 of file lts_convert.h.