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

Classes
class	mcrl2::lts::action_label_string
	This class contains strings to be used as values for action labels in lts's. More...

struct	std::hash< mcrl2::lts::action_label_string >
	specialization of the standard std::hash function for an action_label_string. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::lts
	The main LTS namespace.

namespace	std
	STL namespace.

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

Detailed Description

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.

Classes