mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::lts::fsm_writer Struct Reference

Public Member Functions

 fsm_writer (std::ostream &out_, const probabilistic_lts_fsm_t &fsm_)
 
std::size_t swap_initial_state (const std::size_t i)
 
void write_parameters ()
 
void write_states ()
 
void write_probabilistic_state (const detail::lts_fsm_base::probabilistic_state &probabilistic_state)
 
void write_transitions ()
 
void write ()
 

Public Attributes

std::ostream & out
 
std::size_t number_of_initial_state
 
const probabilistic_lts_fsm_t & fsm
 

Detailed Description

Definition at line 19 of file liblts_fsm.cpp.

Constructor & Destructor Documentation

◆ fsm_writer()

mcrl2::lts::fsm_writer::fsm_writer ( std::ostream &  out_,
const probabilistic_lts_fsm_t &  fsm_ 
)
inline

Definition at line 25 of file liblts_fsm.cpp.

Member Function Documentation

◆ swap_initial_state()

std::size_t mcrl2::lts::fsm_writer::swap_initial_state ( const std::size_t  i)
inline

Definition at line 35 of file liblts_fsm.cpp.

◆ write()

void mcrl2::lts::fsm_writer::write ( )
inline

Definition at line 126 of file liblts_fsm.cpp.

◆ write_parameters()

void mcrl2::lts::fsm_writer::write_parameters ( )
inline

Definition at line 48 of file liblts_fsm.cpp.

◆ write_probabilistic_state()

void mcrl2::lts::fsm_writer::write_probabilistic_state ( const detail::lts_fsm_base::probabilistic_state &  probabilistic_state)
inline

Definition at line 87 of file liblts_fsm.cpp.

◆ write_states()

void mcrl2::lts::fsm_writer::write_states ( )
inline

Definition at line 64 of file liblts_fsm.cpp.

◆ write_transitions()

void mcrl2::lts::fsm_writer::write_transitions ( )
inline

Definition at line 114 of file liblts_fsm.cpp.

Member Data Documentation

◆ fsm

const probabilistic_lts_fsm_t& mcrl2::lts::fsm_writer::fsm

Definition at line 23 of file liblts_fsm.cpp.

◆ number_of_initial_state

std::size_t mcrl2::lts::fsm_writer::number_of_initial_state

Definition at line 22 of file liblts_fsm.cpp.

◆ out

std::ostream& mcrl2::lts::fsm_writer::out

Definition at line 21 of file liblts_fsm.cpp.

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