mcrl2::lts::action_label_lts

Include file:

#include "mcrl2/lts/lts_lts.h

class mcrl2::lts::action_label_lts

A class containing the values for action labels for the .lts format.

An action label is a multi_action.

Public member functions

action_label_lts()

Default constructor.

action_label_lts(const action_label_lts&) = default

Copy constructor.

action_label_lts(const mcrl2::lps::multi_action &a)

Constructor.

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

Hide the actions with labels in tau_actions.

Returns: Returns whether the hidden action becomes empty, i.e. a tau or hidden action.

action_label_lts &operator=(const action_label_lts&) = default

Copy assignment.

Public static member functions

static const action_label_lts &tau_action()

Protected static member functions

static mcrl2::lps::multi_action sort_multiactions(const mcrl2::lps::multi_action &a)

A function to sort a multi action to guarantee that multi-actions are compared properly.