mcrl2/process/multi_action_name.h

Include file:

#include "mcrl2/process/multi_action_name.h"

add your file description here.

Classes

• mcrl2::process::multi_action_name

Typedefs

type mcrl2::process::multi_action_name_set

typedef for std::set< multi_action_name >

Represents a set of multi action names.

Functions

std::ostream &mcrl2::process::operator<<(std::ostream &out, const multi_action_name &alpha)

std::ostream &mcrl2::process::operator<<(std::ostream &out, const multi_action_name_set &A)

std::string mcrl2::process::pp(const multi_action_name &x)

Pretty print function for a multi action name.

std::string mcrl2::process::pp(const multi_action_name_set &A)

Pretty print function for a set of multi action names.