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

#include <lts_convert.h>

Public Member Functions
	convertor (const lts_aut_base &, const lts_lts_base &lts_base_out)

Public Attributes
const data::data_specification &	m_data
lps::multi_action_type_checker	m_typechecker

Detailed Description

Definition at line 576 of file lts_convert.h.

Constructor & Destructor Documentation

convertor()

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

inline

Definition at line 582 of file lts_convert.h.

Member Data Documentation

m_data

const data::data_specification& mcrl2::lts::detail::convertor< lts_aut_base, lts_lts_base >::m_data

Definition at line 579 of file lts_convert.h.

m_typechecker

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

Definition at line 580 of file lts_convert.h.

---

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

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