mcrl2::lts::action_label_string

Include file:

#include "mcrl2/lts/action_label_string.h

class mcrl2::lts::action_label_string

This class contains strings to be used as values for action labels in lts’s.

These action labels are used in the aut, fsm, and dot format to represent values for the action labels in transitions. The string must have a pattern resemblinb multiactions, and these multiactions are always sorted.

Public member functions

action_label_string()

action_label_string(const action_label_string&) = default

Copy constructor.

action_label_string(const std::string &s)

void hide_actions(const std::vector<std::string> &string_vector)

bool operator<(const action_label_string &l) const

action_label_string &operator=(const action_label_string&) = default

Copy assignment.

Public static member functions

static const action_label_string &tau_action()

Protected static member functions

static std::string sort_multiactions(const std::string &s)

Sort multiactions in a string.

Take a string with a multi-action of the shape a1(…)|a2(…)|…|an(…). Split it into different actions, and reassemble them such that the actions are ordered.

Returns: This action in which the multi-actions are ordered.