#include <stochastic_lts_builder.h>

Inheritance diagram for mcrl2::lts::stochastic_lts_fsm_builder:

Public Types
typedef stochastic_lts_lts_builder	super

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 Member Functions
	stochastic_lts_fsm_builder (const data::data_specification &dataspec, const process::action_label_list &action_labels, const data::variable_list &process_parameters)

void	save (const std::string &filename) override

Public Member Functions inherited from mcrl2::lts::stochastic_lts_lts_builder
	stochastic_lts_lts_builder (const data::data_specification &dataspec, const process::action_label_list &action_labels, const data::variable_list &process_parameters, bool discard_state_labels=false)

void	set_initial_state (const std::list< std::size_t > &targets, const std::vector< data::data_expression > &probabilities) override

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) override

void	finalize (const indexed_set_for_states_type &state_map, bool timed) override

void	save (const std::string &filename) 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
Static Public Member Functions inherited from mcrl2::lts::stochastic_lts_lts_builder
static probabilistic_state< std::size_t, lps::probabilistic_data_expression >	make_probabilistic_state (const std::list< std::size_t > &targets, const std::vector< data::data_expression > &probabilities)

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

Protected Attributes inherited from mcrl2::lts::stochastic_lts_lts_builder
probabilistic_lts_lts_t	m_lts

bool	m_discard_state_labels = false

probabilistic_state< std::size_t, lps::probabilistic_data_expression >	m_initial_state

std::mutex	m_exclusive_transition_access

Detailed Description

Definition at line 291 of file stochastic_lts_builder.h.

Member Typedef Documentation

◆ super

typedef stochastic_lts_lts_builder mcrl2::lts::stochastic_lts_fsm_builder::super

Definition at line 294 of file stochastic_lts_builder.h.

Constructor & Destructor Documentation

◆ stochastic_lts_fsm_builder()

mcrl2::lts::stochastic_lts_fsm_builder::stochastic_lts_fsm_builder	(	const data::data_specification &	dataspec,
		const process::action_label_list &	action_labels,
		const data::variable_list &	process_parameters
	)

inline

Definition at line 295 of file stochastic_lts_builder.h.

Member Function Documentation

◆ save()

void mcrl2::lts::stochastic_lts_fsm_builder::save ( const std::string & filename )

inlineoverridevirtual

Implements mcrl2::lts::stochastic_lts_builder.

Definition at line 299 of file stochastic_lts_builder.h.

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

lts/include/mcrl2/lts/stochastic_lts_builder.h

Public Types

Public Member Functions