mcrl2/lts/state_label_empty.h

Include file:

#include "mcrl2/lts/state_label_empty.h"

This file contains the class with empty state labels.

Jan Friso Groote

Classes

• mcrl2::lts::state_label_empty

Functions

std::string mcrl2::lts::pp(const state_label_empty&)