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:

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_specification &	data () const
	Returns the mCRL2 data specification of this LTS.
const process::action_label_list &	action_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_list &	process_parameters () const
	Return the process parameters stored in this LTS.
const data::variable &	process_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 274 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 283 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 318 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 311 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 287 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 349 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 341 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]

decls

The action labels to be set in this lts.

Definition at line 326 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]

spec

The mCRL2 data specification for this LTS.

Definition at line 334 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]

params

The state parameters for this lts.

Definition at line 362 of file lts_lts.h.

swap()

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

inline

Definition at line 294 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 304 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 279 of file lts_lts.h.

m_data_spec

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

protected

Definition at line 277 of file lts_lts.h.

m_parameters

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

protected

Definition at line 278 of file lts_lts.h.

---

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

• lts/include/mcrl2/lts/lts_lts.h