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.

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()