mcrl2/process/untyped_multi_action.h

Include file:

#include "mcrl2/process/untyped_multi_action.h"

add your file description here.

Typedefs

type untyped_multi_action_list

typedef for atermpp::term_list< untyped_multi_action >

list of untyped_multi_actions

type untyped_multi_action_vector

typedef for std::vector< untyped_multi_action >

vector of untyped_multi_actions

Functions

bool mcrl2::process::is_untyped_multi_action(const atermpp::aterm_appl &x)

Test for a untyped_multi_action expression.

Parameters:

  • x A term

Returns: True if x is a untyped_multi_action expression

std::ostream &mcrl2::process::operator<<(std::ostream &out, const untyped_multi_action &x)

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

std::string pp(const untyped_multi_action &x)
void mcrl2::process::swap(untyped_multi_action &t1, untyped_multi_action &t2)

swap overload