mcrl2/process/process_expression.h

Include file:

#include "mcrl2/process/process_expression.h"

add your file description here.

Classes

• mcrl2::process::action
• mcrl2::process::allow
• mcrl2::process::at
• mcrl2::process::block
• mcrl2::process::bounded_init
• mcrl2::process::choice
• mcrl2::process::comm
• mcrl2::process::delta
• std::hash
• mcrl2::process::hide
• mcrl2::process::if_then
• mcrl2::process::if_then_else
• mcrl2::process::left_merge
• mcrl2::process::merge
• mcrl2::process::process_expression
• mcrl2::process::process_instance
• mcrl2::process::process_instance_assignment
• mcrl2::process::rename
• mcrl2::process::seq
• mcrl2::process::stochastic_operator
• mcrl2::process::sum
• mcrl2::process::sync
• mcrl2::process::tau
• mcrl2::process::untyped_process_assignment

Typedefs

type mcrl2::process::action_list

typedef for atermpp::term_list< action >

brief list of actions

type mcrl2::process::action_vector

typedef for std::vector< action >

brief vector of actions

type mcrl2::process::process_expression_list

typedef for atermpp::term_list< process_expression >

brief list of process_expressions

type mcrl2::process::process_expression_vector

typedef for std::vector< process_expression >

brief vector of process_expressions

Functions

bool mcrl2::process::equal_signatures(const action &a, const action &b)

Compares the signatures of two actions.

Parameters:

• a An action
• b An action

Returns: Returns true if the actions a and b have the same label, and the sorts of the arguments of a and b are equal.

bool is_action(const atermpp::aterm_appl &x)

brief Test for a action expression param x A term return True if a x is a action expression

bool is_allow(const atermpp::aterm_appl &x)

brief Test for a allow expression param x A term return True if a x is a allow expression

bool is_at(const atermpp::aterm_appl &x)

brief Test for a at expression param x A term return True if a x is a at expression

bool is_block(const atermpp::aterm_appl &x)

brief Test for a block expression param x A term return True if a x is a block expression

bool is_bounded_init(const atermpp::aterm_appl &x)

brief Test for a bounded_init expression param x A term return True if a x is a bounded_init expression

bool is_choice(const atermpp::aterm_appl &x)

brief Test for a choice expression param x A term return True if a x is a choice expression

bool is_comm(const atermpp::aterm_appl &x)

brief Test for a comm expression param x A term return True if a x is a comm expression

bool is_delta(const atermpp::aterm_appl &x)

brief Test for a delta expression param x A term return True if a x is a delta expression

bool is_hide(const atermpp::aterm_appl &x)

brief Test for a hide expression param x A term return True if a x is a hide expression

bool is_if_then(const atermpp::aterm_appl &x)

brief Test for a if_then expression param x A term return True if a x is a if_then expression

bool is_if_then_else(const atermpp::aterm_appl &x)

brief Test for a if_then_else expression param x A term return True if a x is a if_then_else expression

bool is_left_merge(const atermpp::aterm_appl &x)

brief Test for a left_merge expression param x A term return True if a x is a left_merge expression

bool is_merge(const atermpp::aterm_appl &x)

brief Test for a merge expression param x A term return True if a x is a merge expression

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

brief Test for a process_expression expression param x A term return True if a x is a process_expression expression

bool is_process_instance(const atermpp::aterm_appl &x)

brief Test for a process_instance expression param x A term return True if a x is a process_instance expression

bool is_process_instance_assignment(const atermpp::aterm_appl &x)

brief Test for a process_instance_assignment expression param x A term return True if a x is a process_instance_assignment expression

bool is_rename(const atermpp::aterm_appl &x)

brief Test for a rename expression param x A term return True if a x is a rename expression

bool is_seq(const atermpp::aterm_appl &x)

brief Test for a seq expression param x A term return True if a x is a seq expression

bool is_stochastic_operator(const atermpp::aterm_appl &x)

brief Test for a stochastic_operator expression param x A term return True if a x is a stochastic_operator expression

bool is_sum(const atermpp::aterm_appl &x)

brief Test for a sum expression param x A term return True if a x is a sum expression

bool is_sync(const atermpp::aterm_appl &x)

brief Test for a sync expression param x A term return True if a x is a sync expression

bool is_tau(const atermpp::aterm_appl &x)

brief Test for a tau expression param x A term return True if a x is a tau expression

bool is_untyped_process_assignment(const atermpp::aterm_appl &x)

brief Test for a untyped_process_assignment expression param x A term return True if a x is a untyped_process_assignment expression

void mcrl2::process::make_action(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_action constructs a new term into a given address.

Parameters:

• t The reference into which the new action is constructed.

void mcrl2::process::make_allow(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_allow constructs a new term into a given address.

Parameters:

• t The reference into which the new allow is constructed.

void mcrl2::process::make_at(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_at constructs a new term into a given address.

Parameters:

• t The reference into which the new at is constructed.

void mcrl2::process::make_block(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_block constructs a new term into a given address.

Parameters:

• t The reference into which the new block is constructed.

void mcrl2::process::make_bounded_init(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_bounded_init constructs a new term into a given address.

Parameters:

• t The reference into which the new bounded_init is constructed.

void mcrl2::process::make_choice(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_choice constructs a new term into a given address.

Parameters:

• t The reference into which the new choice is constructed.

void mcrl2::process::make_comm(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_comm constructs a new term into a given address.

Parameters:

• t The reference into which the new comm is constructed.

void mcrl2::process::make_hide(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_hide constructs a new term into a given address.

Parameters:

• t The reference into which the new hide is constructed.

void mcrl2::process::make_if_then(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_if_then constructs a new term into a given address.

Parameters:

• t The reference into which the new if_then is constructed.

void mcrl2::process::make_if_then_else(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_if_then_else constructs a new term into a given address.

Parameters:

• t The reference into which the new if_then_else is constructed.

void mcrl2::process::make_left_merge(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_left_merge constructs a new term into a given address.

Parameters:

• t The reference into which the new left_merge is constructed.

void mcrl2::process::make_merge(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_merge constructs a new term into a given address.

Parameters:

• t The reference into which the new merge is constructed.

void mcrl2::process::make_process_instance(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_process_instance constructs a new term into a given address.

Parameters:

• t The reference into which the new process_instance is constructed.

void mcrl2::process::make_process_instance_assignment(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_process_instance_assignment constructs a new term into a given address.

Parameters:

• t The reference into which the new process_instance_assignment is constructed.

void mcrl2::process::make_rename(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_rename constructs a new term into a given address.

Parameters:

• t The reference into which the new rename is constructed.

void mcrl2::process::make_seq(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_seq constructs a new term into a given address.

Parameters:

• t The reference into which the new seq is constructed.

void mcrl2::process::make_stochastic_operator(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_stochastic_operator constructs a new term into a given address.

Parameters:

• t The reference into which the new stochastic_operator is constructed.

void mcrl2::process::make_sum(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_sum constructs a new term into a given address.

Parameters:

• t The reference into which the new sum is constructed.

void mcrl2::process::make_sync(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_sync constructs a new term into a given address.

Parameters:

• t The reference into which the new sync is constructed.

void mcrl2::process::make_untyped_process_assignment(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_untyped_process_assignment constructs a new term into a given address.

Parameters:

• t The reference into which the new untyped_process_assignment is constructed.

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

void mcrl2::process::swap(action &t1, action &t2)

brief swap overload

void mcrl2::process::swap(allow &t1, allow &t2)

brief swap overload

void mcrl2::process::swap(at &t1, at &t2)

brief swap overload

void mcrl2::process::swap(block &t1, block &t2)

brief swap overload

void mcrl2::process::swap(bounded_init &t1, bounded_init &t2)

brief swap overload

void mcrl2::process::swap(choice &t1, choice &t2)

brief swap overload

void mcrl2::process::swap(comm &t1, comm &t2)

brief swap overload

void mcrl2::process::swap(delta &t1, delta &t2)

brief swap overload

void mcrl2::process::swap(hide &t1, hide &t2)

brief swap overload

void mcrl2::process::swap(if_then &t1, if_then &t2)

brief swap overload

void mcrl2::process::swap(if_then_else &t1, if_then_else &t2)

brief swap overload

void mcrl2::process::swap(left_merge &t1, left_merge &t2)

brief swap overload

void mcrl2::process::swap(merge &t1, merge &t2)

brief swap overload

void mcrl2::process::swap(process_expression &t1, process_expression &t2)

brief swap overload

void mcrl2::process::swap(process_instance &t1, process_instance &t2)

brief swap overload

void mcrl2::process::swap(process_instance_assignment &t1, process_instance_assignment &t2)

brief swap overload

void mcrl2::process::swap(rename &t1, rename &t2)

brief swap overload

void mcrl2::process::swap(seq &t1, seq &t2)

brief swap overload

void mcrl2::process::swap(stochastic_operator &t1, stochastic_operator &t2)

brief swap overload

void mcrl2::process::swap(sum &t1, sum &t2)

brief swap overload

void mcrl2::process::swap(sync &t1, sync &t2)

brief swap overload

void mcrl2::process::swap(tau &t1, tau &t2)

brief swap overload

void mcrl2::process::swap(untyped_process_assignment &t1, untyped_process_assignment &t2)

brief swap overload