mcrl2::lts::state_label_fsm

Include file:

#include "mcrl2/lts/lts_fsm.h

class mcrl2::lts::state_label_fsm

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

Public member functions

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.

state_label_fsm &operator=(const state_label_fsm&) = default

Copy assignment.

state_label_fsm()

Default constructor. The label becomes an empty vector.

state_label_fsm(const state_label_fsm&) = default

Copy constructor.

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

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