No Matches
mcrl2::lts::action_label_string Class Reference

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

#include <action_label_string.h>

Inheritance diagram for mcrl2::lts::action_label_string:

Public Member Functions

 action_label_string ()
 action_label_string (const action_label_string &)=default
 Copy constructor.
action_label_stringoperator= (const action_label_string &)=default
 Copy assignment.
 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

Static Public Member Functions

static const action_label_stringtau_action ()

Static Protected Member Functions

static std::string sort_multiactions (const std::string &s)
 Sort multiactions in a string.

Detailed Description

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.

Definition at line 36 of file action_label_string.h.

Constructor & Destructor Documentation

◆ action_label_string() [1/3]

mcrl2::lts::action_label_string::action_label_string ( )

Definition at line 42 of file action_label_string.h.

◆ action_label_string() [2/3]

mcrl2::lts::action_label_string::action_label_string ( const action_label_string )

Copy constructor.

◆ action_label_string() [3/3]

mcrl2::lts::action_label_string::action_label_string ( const std::string &  s)

Definition at line 53 of file action_label_string.h.

Member Function Documentation

◆ hide_actions()

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

Definition at line 61 of file action_label_string.h.

◆ operator<()

bool mcrl2::lts::action_label_string::operator< ( const action_label_string l) const

Definition at line 117 of file action_label_string.h.

◆ operator=()

action_label_string & mcrl2::lts::action_label_string::operator= ( const action_label_string )

Copy assignment.

◆ sort_multiactions()

static std::string mcrl2::lts::action_label_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.

This action in which the multi-actions are ordered.

Definition at line 136 of file action_label_string.h.

◆ tau_action()

static const action_label_string & mcrl2::lts::action_label_string::tau_action ( )

Definition at line 124 of file action_label_string.h.

The documentation for this class was generated from the following file: