mcrl2::lts::state_label_fsm Class Reference

This class contains state labels for the fsm format. More...

#include <lts_fsm.h>

Inheritance diagram for mcrl2::lts::state_label_fsm:

Public Member Functions
	state_label_fsm ()=default
	Default constructor. The label becomes an empty vector.
	state_label_fsm (const state_label_fsm &)=default
	Copy constructor.
state_label_fsm &	operator= (const state_label_fsm &)=default
	Copy assignment.
	state_label_fsm (const std::vector< std::size_t > &v)
	Default constructor. The label is set to the vector v.
state_label_fsm	operator+ (const state_label_fsm &l) const
	An operator to concatenate two state labels. Fsm labels cannot be concatenated. Therefore, only the first label is returned, unless empty, in which case the second is returned.

Static Public Member Functions
static state_label_fsm	number_to_label (const std::size_t n)
	Create a state label consisting of a number as the only list element.

Detailed Description

This class contains state labels for the fsm format.

An fsm state label is just a vector of integers. There is an array m_state_element values that contains strings corresponding to the integers in the vector. Each integer i at position j in the vector corresponds with the string m_state_element_values[j][i].

Definition at line 35 of file lts_fsm.h.

Constructor & Destructor Documentation

state_label_fsm() [1/3]

mcrl2::lts::state_label_fsm::state_label_fsm ( )

default

Default constructor. The label becomes an empty vector.

state_label_fsm() [2/3]

mcrl2::lts::state_label_fsm::state_label_fsm ( const state_label_fsm &  )

default

Copy constructor.

state_label_fsm() [3/3]

mcrl2::lts::state_label_fsm::state_label_fsm ( const std::vector< std::size_t > &  v )

inlineexplicit

Default constructor. The label is set to the vector v.

Definition at line 50 of file lts_fsm.h.

Member Function Documentation

number_to_label()

static state_label_fsm mcrl2::lts::state_label_fsm::number_to_label ( const std::size_t  n )

inlinestatic

Create a state label consisting of a number as the only list element.

Definition at line 67 of file lts_fsm.h.

operator+()

state_label_fsm mcrl2::lts::state_label_fsm::operator+ ( const state_label_fsm &  l ) const

inline

An operator to concatenate two state labels. Fsm labels cannot be concatenated. Therefore, only the first label is returned, unless empty, in which case the second is returned.

Definition at line 56 of file lts_fsm.h.

operator=()

state_label_fsm & mcrl2::lts::state_label_fsm::operator= ( const state_label_fsm &  )

default

Copy assignment.

---

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

• lts/include/mcrl2/lts/lts_fsm.h