mcrl2::lts::detail::convertor< lts_lts_base, lts_fsm_base > Class Reference

#include <lts_convert.h>

Public Member Functions
	convertor (const lts_lts_base &lts_base_in, lts_fsm_base &lts_base_out)

Public Attributes
std::vector< std::map< data::data_expression, std::size_t > >	state_element_values_sets
lts_fsm_base &	lts_out

Detailed Description

Definition at line 202 of file lts_convert.h.

Constructor & Destructor Documentation

convertor()

mcrl2::lts::detail::convertor< lts_lts_base, lts_fsm_base >::convertor ( const lts_lts_base &  lts_base_in, lts_fsm_base &  lts_base_out  )

inline

Definition at line 208 of file lts_convert.h.

Member Data Documentation

lts_out

lts_fsm_base& mcrl2::lts::detail::convertor< lts_lts_base, lts_fsm_base >::lts_out

Definition at line 206 of file lts_convert.h.

state_element_values_sets

std::vector< std::map <data::data_expression , std::size_t > > mcrl2::lts::detail::convertor< lts_lts_base, lts_fsm_base >::state_element_values_sets

Definition at line 205 of file lts_convert.h.

---

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

• lts/include/mcrl2/lts/detail/lts_convert.h