mcrl2/lts/lts_lts.h

Include file:

#include "mcrl2/lts/lts_lts.h"

This file contains a class that contains labelled transition systems in lts (mcrl2) format.

A labelled transition system in lts/mcrl2 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_lts
• std::hash
• mcrl2::lts::detail::lts_lts_base
• mcrl2::lts::lts_lts_t
• mcrl2::lts::probabilistic_lts_lts_t
• mcrl2::lts::state_label_lts

Functions

action_label_lts mcrl2::lts::parse_lts_action(const std::string &multi_action_string, const data::data_specification &data_spec, lps::multi_action_type_checker &typechecker)

Parse a string into an action label.

The string is typechecked against the data specification and list of declared actions. If parsing or type checking fails, an mcrl2::runtime_error is thrown.

Parameters:

• multi_action_string The string to be parsed.
• data_spec The data specification used for parsing.
• act_decls Action declarations.

Returns: The parsed and type checked multi action.

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

Print the action label to string.

std::string mcrl2::lts::pp(const state_label_lts &label)

Pretty print a state value of this LTS.

The label is printed as (t1,…,tn) if it consists of a single label. Otherwise the labels are printed with square brackets surrounding it.

Parameters:

• label The state value to pretty print.

Returns: The pretty-printed representation of value.