mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::stochastic_lts_builder Struct Referenceabstract

#include <stochastic_lts_builder.h>

Inheritance diagram for mcrl2::lts::stochastic_lts_builder:
mcrl2::lts::stochastic_lts_aut_builder mcrl2::lts::stochastic_lts_lts_builder mcrl2::lts::stochastic_lts_none_builder mcrl2::lts::stochastic_lts_fsm_builder

Public Types

typedef atermpp::indexed_set< lps::state, mcrl2::utilities::detail::GlobalThreadSafeindexed_set_for_states_type
 

Public Member Functions

 stochastic_lts_builder ()
 
std::size_t add_action (const lps::multi_action &a)
 
virtual void set_initial_state (const std::list< std::size_t > &targets, const std::vector< data::data_expression > &probabilities)=0
 
virtual void add_transition (std::size_t from, const lps::multi_action &a, const std::list< std::size_t > &targets, const std::vector< data::data_expression > &probabilities, const std::size_t number_of_threads=1)=0
 
virtual void finalize (const indexed_set_for_states_type &state_map, bool timed)=0
 
virtual void save (const std::string &filename)=0
 
virtual ~stochastic_lts_builder ()=default
 

Public Attributes

utilities::unordered_map_large< lps::multi_action, std::size_t > m_actions
 

Detailed Description

Definition at line 21 of file stochastic_lts_builder.h.

Member Typedef Documentation

◆ indexed_set_for_states_type

Constructor & Destructor Documentation

◆ stochastic_lts_builder()

mcrl2::lts::stochastic_lts_builder::stochastic_lts_builder ( )
inline

Definition at line 28 of file stochastic_lts_builder.h.

◆ ~stochastic_lts_builder()

virtual mcrl2::lts::stochastic_lts_builder::~stochastic_lts_builder ( )
virtualdefault

Member Function Documentation

◆ add_action()

std::size_t mcrl2::lts::stochastic_lts_builder::add_action ( const lps::multi_action a)
inline

Definition at line 34 of file stochastic_lts_builder.h.

◆ add_transition()

virtual void mcrl2::lts::stochastic_lts_builder::add_transition ( std::size_t  from,
const lps::multi_action a,
const std::list< std::size_t > &  targets,
const std::vector< data::data_expression > &  probabilities,
const std::size_t  number_of_threads = 1 
)
pure virtual

◆ finalize()

virtual void mcrl2::lts::stochastic_lts_builder::finalize ( const indexed_set_for_states_type state_map,
bool  timed 
)
pure virtual

◆ save()

virtual void mcrl2::lts::stochastic_lts_builder::save ( const std::string &  filename)
pure virtual

◆ set_initial_state()

virtual void mcrl2::lts::stochastic_lts_builder::set_initial_state ( const std::list< std::size_t > &  targets,
const std::vector< data::data_expression > &  probabilities 
)
pure virtual

Member Data Documentation

◆ m_actions

utilities::unordered_map_large<lps::multi_action, std::size_t> mcrl2::lts::stochastic_lts_builder::m_actions

Definition at line 26 of file stochastic_lts_builder.h.


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