mCRL2
|
#include <lts_builder.h>
Public Member Functions | |
void | add_transition (std::size_t, const lps::multi_action &, std::size_t, const std::size_t) override |
void | finalize (const indexed_set_for_states_type &, bool) override |
void | save (const std::string &) override |
![]() | |
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 | |
![]() | |
typedef atermpp::indexed_set< lps::state, mcrl2::utilities::detail::GlobalThreadSafe > | indexed_set_for_states_type |
![]() | |
utilities::unordered_map_large< lps::multi_action, std::size_t > | m_actions |
Definition at line 66 of file lts_builder.h.
|
inlineoverridevirtual |
Implements mcrl2::lts::lts_builder.
Definition at line 69 of file lts_builder.h.
|
inlineoverridevirtual |
Implements mcrl2::lts::lts_builder.
Definition at line 72 of file lts_builder.h.
|
inlineoverridevirtual |
Implements mcrl2::lts::lts_builder.
Definition at line 75 of file lts_builder.h.