mCRL2
Loading...
Searching...
No Matches
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_specificationm_data
 
lps::multi_action_type_checker m_typechecker
 

Detailed Description

Definition at line 633 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 639 of file lts_convert.h.

Member Data Documentation

◆ m_data

◆ m_typechecker


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