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

#include <lts_convert.h>

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

Public Attributes
const lts_fsm_base &	m_lts_in
const lts_lts_base &	m_lts_out
lps::multi_action_type_checker	m_typechecker

Detailed Description

Definition at line 421 of file lts_convert.h.

Constructor & Destructor Documentation

convertor()

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

inline

Definition at line 429 of file lts_convert.h.

Member Data Documentation

m_lts_in

const lts_fsm_base& mcrl2::lts::detail::convertor< lts_fsm_base, lts_lts_base >::m_lts_in

Definition at line 425 of file lts_convert.h.

m_lts_out

const lts_lts_base& mcrl2::lts::detail::convertor< lts_fsm_base, lts_lts_base >::m_lts_out

Definition at line 426 of file lts_convert.h.

m_typechecker

lps::multi_action_type_checker mcrl2::lts::detail::convertor< lts_fsm_base, lts_lts_base >::m_typechecker

Definition at line 427 of file lts_convert.h.

---

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

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