No Matches
mcrl2::lts::lts_builder Struct Referenceabstract

#include <lts_builder.h>

Inheritance diagram for mcrl2::lts::lts_builder:
mcrl2::lts::lts_aut_builder mcrl2::lts::lts_aut_disk_builder mcrl2::lts::lts_lts_builder mcrl2::lts::lts_lts_disk_builder mcrl2::lts::lts_none_builder mcrl2::lts::lts_dot_builder mcrl2::lts::lts_fsm_builder

Public Types

typedef atermpp::indexed_set< lps::state, mcrl2::utilities::detail::GlobalThreadSafeindexed_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

Constructor & Destructor Documentation

◆ lts_builder()

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

Definition at line 37 of file lts_builder.h.

◆ ~lts_builder()

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

Member Function Documentation

◆ add_action()

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

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

◆ finalize()

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

◆ save()

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: