mcrl2::process::multi_action_name Struct Reference

Represents the name of a multi action. More...

#include <multi_action_name.h>

Inheritance diagram for mcrl2::process::multi_action_name:

Public Types
typedef std::multiset< core::identifier_string >	super

Public Member Functions
	multi_action_name ()=default
template<typename InputIterator >
	multi_action_name (InputIterator first, InputIterator last)

Detailed Description

Represents the name of a multi action.

Definition at line 23 of file multi_action_name.h.

Member Typedef Documentation

super

typedef std::multiset<core::identifier_string> mcrl2::process::multi_action_name::super

Definition at line 25 of file multi_action_name.h.

Constructor & Destructor Documentation

multi_action_name() [1/2]

mcrl2::process::multi_action_name::multi_action_name ( )

default

multi_action_name() [2/2]

template<typename InputIterator >

mcrl2::process::multi_action_name::multi_action_name ( InputIterator  first, InputIterator  last  )

inline

Definition at line 30 of file multi_action_name.h.

---

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

• process/include/mcrl2/process/multi_action_name.h