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 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.

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 37 of file lts_fsm.h.

Constructor & Destructor Documentation

◆ state_label_fsm() [1/3]

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

inline

Default constructor. The label becomes an empty vector.

Definition at line 42 of file lts_fsm.h.

◆ 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 53 of file lts_fsm.h.

Member Function Documentation

◆ 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 59 of file lts_fsm.h.

◆ operator=()

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