mcrl2::lts::state_label_empty

Include file:

#include "mcrl2/lts/state_label_empty.h

class mcrl2::lts::state_label_empty

Contains empty state values, used for lts’s without state valued.

Empty state values are used in labelled transition systems which do not have state values, such as the .aut format.

Public member functions

bool operator!=(const state_label_empty &other) const

state_label_empty operator+(const state_label_empty&) const

An operator to concatenate two state labels.

bool operator==(const state_label_empty&) const