mcrl2/lts/action_label_string.h

Include file:

#include "mcrl2/lts/action_label_string.h"

This file contains a class that contains labelled transition systems in aut format.

A labelled transition system in aut format is a transition system with as state labels vectors of strings, and as transition labels strings. Jan Friso Groote

Classes

• mcrl2::lts::action_label_string
• std::hash

Functions

std::string mcrl2::lts::pp(const action_label_string &l)