mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::lts_dot_builder Class Reference

#include <lts_builder.h>

Inheritance diagram for mcrl2::lts::lts_dot_builder:
mcrl2::lts::lts_lts_builder mcrl2::lts::lts_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::GlobalThreadSafeindexed_set_for_states_type
 

Public Member Functions

 lts_dot_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 299 of file lts_builder.h.

Member Typedef Documentation

◆ super

Constructor & Destructor Documentation

◆ lts_dot_builder()

mcrl2::lts::lts_dot_builder::lts_dot_builder ( const data::data_specification dataspec,
const process::action_label_list action_labels,
const data::variable_list process_parameters 
)
inline

Definition at line 303 of file lts_builder.h.

Member Function Documentation

◆ save()

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

Implements mcrl2::lts::lts_builder.

Definition at line 307 of file lts_builder.h.


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