mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::lts_lts_base Class Reference

a base class for lts_lts_t and probabilistic_lts_t. More...

#include <lts_lts.h>

Inheritance diagram for mcrl2::lts::detail::lts_lts_base:
mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base > mcrl2::lts::lts_lts_t

Public Member Functions

 lts_lts_base ()
 Default constructor.
 
bool operator== (const lts_lts_base &other) const
 Standard equality function;.
 
void swap (lts_lts_base &l)
 
const data::data_specificationdata () const
 Returns the mCRL2 data specification of this LTS.
 
const process::action_label_listaction_label_declarations () const
 Return action label declarations stored in this LTS.
 
void set_action_label_declarations (const process::action_label_list &decls)
 Set the action label information for this LTS.
 
void set_data (const data::data_specification &spec)
 Set the mCRL2 data specification of this LTS.
 
const data::variable_listprocess_parameters () const
 Return the process parameters stored in this LTS.
 
const data::variableprocess_parameter (std::size_t i) const
 Returns the i-th parameter of the state vectors stored in this LTS.
 
void set_process_parameters (const data::variable_list &params)
 Set the state parameters for this LTS.
 

Static Public Member Functions

static lts_type type ()
 Yields the type of this lts, in this case lts_lts.
 

Protected Attributes

data::data_specification m_data_spec
 
data::variable_list m_parameters
 
process::action_label_list m_action_decls
 

Detailed Description

a base class for lts_lts_t and probabilistic_lts_t.

Definition at line 270 of file lts_lts.h.

Constructor & Destructor Documentation

◆ lts_lts_base()

mcrl2::lts::detail::lts_lts_base::lts_lts_base ( )
inline

Default constructor.

Definition at line 279 of file lts_lts.h.

Member Function Documentation

◆ action_label_declarations()

const process::action_label_list & mcrl2::lts::detail::lts_lts_base::action_label_declarations ( ) const
inline

Return action label declarations stored in this LTS.

Definition at line 314 of file lts_lts.h.

◆ data()

const data::data_specification & mcrl2::lts::detail::lts_lts_base::data ( ) const
inline

Returns the mCRL2 data specification of this LTS.

Definition at line 307 of file lts_lts.h.

◆ operator==()

bool mcrl2::lts::detail::lts_lts_base::operator== ( const lts_lts_base other) const
inline

Standard equality function;.

Definition at line 283 of file lts_lts.h.

◆ process_parameter()

const data::variable & mcrl2::lts::detail::lts_lts_base::process_parameter ( std::size_t  i) const
inline

Returns the i-th parameter of the state vectors stored in this LTS.

Returns
The state parameters stored in this LTS.

Definition at line 345 of file lts_lts.h.

◆ process_parameters()

const data::variable_list & mcrl2::lts::detail::lts_lts_base::process_parameters ( ) const
inline

Return the process parameters stored in this LTS.

Definition at line 337 of file lts_lts.h.

◆ set_action_label_declarations()

void mcrl2::lts::detail::lts_lts_base::set_action_label_declarations ( const process::action_label_list decls)
inline

Set the action label information for this LTS.

Parameters
[in]declsThe action labels to be set in this lts.

Definition at line 322 of file lts_lts.h.

◆ set_data()

void mcrl2::lts::detail::lts_lts_base::set_data ( const data::data_specification spec)
inline

Set the mCRL2 data specification of this LTS.

Parameters
[in]specThe mCRL2 data specification for this LTS.

Definition at line 330 of file lts_lts.h.

◆ set_process_parameters()

void mcrl2::lts::detail::lts_lts_base::set_process_parameters ( const data::variable_list params)
inline

Set the state parameters for this LTS.

Parameters
[in]paramsThe state parameters for this lts.

Definition at line 358 of file lts_lts.h.

◆ swap()

void mcrl2::lts::detail::lts_lts_base::swap ( lts_lts_base l)
inline

Definition at line 290 of file lts_lts.h.

◆ type()

static lts_type mcrl2::lts::detail::lts_lts_base::type ( )
inlinestatic

Yields the type of this lts, in this case lts_lts.

Definition at line 300 of file lts_lts.h.

Member Data Documentation

◆ m_action_decls

process::action_label_list mcrl2::lts::detail::lts_lts_base::m_action_decls
protected

Definition at line 275 of file lts_lts.h.

◆ m_data_spec

data::data_specification mcrl2::lts::detail::lts_lts_base::m_data_spec
protected

Definition at line 273 of file lts_lts.h.

◆ m_parameters

data::variable_list mcrl2::lts::detail::lts_lts_base::m_parameters
protected

Definition at line 274 of file lts_lts.h.


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