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_string &	operator= (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_string &	tau_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 ( )

inline

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

default

Copy constructor.

action_label_string() [3/3]

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

inlineexplicit

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 )

inline

Definition at line 61 of file action_label_string.h.

operator<()

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

inline

Definition at line 117 of file action_label_string.h.

operator=()

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

default

Copy assignment.

sort_multiactions()

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

inlinestaticprotected

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.

Definition at line 136 of file action_label_string.h.

tau_action()

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

inlinestatic

Definition at line 124 of file action_label_string.h.

---

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

• lts/include/mcrl2/lts/action_label_string.h