mcrl2::lts::lts_builder Struct Reference

#include <lts_builder.h>

Inheritance diagram for mcrl2::lts::lts_builder:

Public Types
typedef atermpp::indexed_set< lps::state, mcrl2::utilities::detail::GlobalThreadSafe >	indexed_set_for_states_type

Public Member Functions
	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

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

Detailed Description

Definition at line 30 of file lts_builder.h.

Member Typedef Documentation

indexed_set_for_states_type

typedef atermpp::indexed_set<lps::state, mcrl2::utilities::detail::GlobalThreadSafe> mcrl2::lts::lts_builder::indexed_set_for_states_type

Definition at line 32 of file lts_builder.h.

Constructor & Destructor Documentation

lts_builder()

mcrl2::lts::lts_builder::lts_builder ( )

inline

Definition at line 37 of file lts_builder.h.

~lts_builder()

virtual mcrl2::lts::lts_builder::~lts_builder ( )

virtualdefault

Member Function Documentation

add_action()

std::size_t mcrl2::lts::lts_builder::add_action ( const lps::multi_action &  a )

inline

Definition at line 43 of file lts_builder.h.

add_transition()

virtual void mcrl2::lts::lts_builder::add_transition ( std::size_t  from, const lps::multi_action &  a, std::size_t  to, const std::size_t  number_of_threads = 0  )

pure virtual

Implemented in mcrl2::lts::lts_aut_builder, mcrl2::lts::lts_aut_disk_builder, mcrl2::lts::lts_lts_builder, mcrl2::lts::lts_lts_disk_builder, and mcrl2::lts::lts_none_builder.

finalize()

virtual void mcrl2::lts::lts_builder::finalize ( const indexed_set_for_states_type &  state_map, bool  timed  )

pure virtual

Implemented in mcrl2::lts::lts_none_builder, mcrl2::lts::lts_lts_builder, mcrl2::lts::lts_lts_disk_builder, mcrl2::lts::lts_aut_builder, and mcrl2::lts::lts_aut_disk_builder.

save()

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

pure virtual

Implemented in mcrl2::lts::lts_none_builder, mcrl2::lts::lts_aut_disk_builder, mcrl2::lts::lts_lts_disk_builder, mcrl2::lts::lts_aut_builder, mcrl2::lts::lts_lts_builder, mcrl2::lts::lts_dot_builder, and mcrl2::lts::lts_fsm_builder.

Member Data Documentation

m_actions

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

Definition at line 35 of file lts_builder.h.

---

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

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