mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
mcrl2::lts::lts_aut_disk_builder Class Reference

#include <lts_builder.h>

Inheritance diagram for mcrl2::lts::lts_aut_disk_builder:
mcrl2::lts::lts_builder

Public Member Functions

 lts_aut_disk_builder (const std::string &filename)
 
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) override
 
void save (const std::string &) 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
 

Protected Attributes

std::ofstream out
 
std::size_t m_transition_count = 0
 
std::mutex m_exclusive_transition_access
 

Additional Inherited Members

- Public Types inherited from mcrl2::lts::lts_builder
typedef atermpp::indexed_set< lps::state, mcrl2::utilities::detail::GlobalThreadSafe > indexed_set_for_states_type
 
- Public Attributes inherited from mcrl2::lts::lts_builder
utilities::unordered_map_large< lps::multi_action, std::size_t > m_actions
 

Detailed Description

Definition at line 116 of file lts_builder.h.

Constructor & Destructor Documentation

◆ lts_aut_disk_builder()

mcrl2::lts::lts_aut_disk_builder::lts_aut_disk_builder ( const std::string &  filename)
inlineexplicit

Definition at line 124 of file lts_builder.h.

Member Function Documentation

◆ add_transition()

void mcrl2::lts::lts_aut_disk_builder::add_transition ( std::size_t  from,
const lps::multi_action &  a,
std::size_t  to,
const std::size_t  number_of_threads 
)
inlineoverridevirtual

Implements mcrl2::lts::lts_builder.

Definition at line 135 of file lts_builder.h.

◆ finalize()

void mcrl2::lts::lts_aut_disk_builder::finalize ( const indexed_set_for_states_type &  state_map,
bool   
)
inlineoverridevirtual

Implements mcrl2::lts::lts_builder.

Definition at line 144 of file lts_builder.h.

◆ save()

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

Implements mcrl2::lts::lts_builder.

Definition at line 157 of file lts_builder.h.

Member Data Documentation

◆ m_exclusive_transition_access

std::mutex mcrl2::lts::lts_aut_disk_builder::m_exclusive_transition_access
protected

Definition at line 121 of file lts_builder.h.

◆ m_transition_count

std::size_t mcrl2::lts::lts_aut_disk_builder::m_transition_count = 0
protected

Definition at line 120 of file lts_builder.h.

◆ out

std::ofstream mcrl2::lts::lts_aut_disk_builder::out
protected

Definition at line 119 of file lts_builder.h.

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