Inheritance diagram for mcrl2::lts::stochastic_lts_none_builder:

Public Member Functions
void	set_initial_state (const std::list< std::size_t > &, const std::vector< data::data_expression > &) override

void	add_transition (std::size_t, const lps::multi_action &, const std::list< std::size_t > &, const std::vector< data::data_expression > &, const std::size_t) override

void	finalize (const indexed_set_for_states_type &, bool) override

void	save (const std::string &) override

Public Member Functions inherited from mcrl2::lts::stochastic_lts_builder
	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

Additional Inherited Members
Public Types inherited from mcrl2::lts::stochastic_lts_builder
typedef atermpp::indexed_set< lps::state, mcrl2::utilities::detail::GlobalThreadSafe >	indexed_set_for_states_type

Public Attributes inherited from mcrl2::lts::stochastic_lts_builder
utilities::unordered_map_large< lps::multi_action, std::size_t >	m_actions

Detailed Description

Definition at line 59 of file stochastic_lts_builder.h.

Member Function Documentation

void mcrl2::lts::stochastic_lts_none_builder::add_transition	(	std::size_t	,
		const lps::multi_action &	,
		const std::list< std::size_t > &	,
		const std::vector< data::data_expression > &	,
		const std::size_t
	)