mcrl2::lts::lts_fsm_builder Class Reference

#include <lts_builder.h>

Inheritance diagram for mcrl2::lts::lts_fsm_builder:

Public Types
typedef lts_lts_builder	super
Public Types inherited from mcrl2::lts::lts_builder
typedef atermpp::indexed_set< lps::state, mcrl2::utilities::detail::GlobalThreadSafe >	indexed_set_for_states_type

Public Member Functions
	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::lts_lts_builder
	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	add_transition (std::size_t from, const lps::multi_action &a, std::size_t to, 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::lts_builder
	lts_builder ()
std::size_t	add_action (const lps::multi_action &a)
virtual void	add_transition (std::size_t from, const lps::multi_action &a, std::size_t to, const std::size_t number_of_threads=0)=0
virtual void	finalize (const indexed_set_for_states_type &state_map, bool timed)=0
virtual void	save (const std::string &filename)=0
virtual	~lts_builder ()=default

Additional Inherited Members
Public Attributes inherited from mcrl2::lts::lts_builder
utilities::unordered_map_large< lps::multi_action, std::size_t >	m_actions
Protected Attributes inherited from mcrl2::lts::lts_lts_builder
lts_lts_t	m_lts
bool	m_discard_state_labels = false
std::mutex	m_exclusive_transition_access

Detailed Description

Definition at line 315 of file lts_builder.h.

Member Typedef Documentation

super

typedef lts_lts_builder mcrl2::lts::lts_fsm_builder::super

Definition at line 318 of file lts_builder.h.

Constructor & Destructor Documentation

lts_fsm_builder()

mcrl2::lts::lts_fsm_builder::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 319 of file lts_builder.h.

Member Function Documentation

save()

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

inlineoverridevirtual

Implements mcrl2::lts::lts_builder.

Definition at line 323 of file lts_builder.h.

---

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

• lts/include/mcrl2/lts/lts_builder.h