mcrl2/process/process_expression.h

Include file:

#include "mcrl2/process/process_expression.h"

add your file description here.

Typedefs

type action_list

typedef for atermpp::term_list< action >

list of actions

type action_vector

typedef for std::vector< action >

vector of actions

type process_expression_list

typedef for atermpp::term_list< process_expression >

list of process_expressions

type process_expression_vector

typedef for std::vector< process_expression >

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.

std::set<data::variable> find_all_variables(const action &x)
std::set<data::variable> find_free_variables(const action &x)
std::set<data::sort_expression> find_sort_expressions(const process::process_expression &x)
bool is_action(const atermpp::aterm_appl &x)

Test for a action expression.

Parameters:

  • x A term

Returns: True if x is a action expression

bool is_allow(const atermpp::aterm_appl &x)

Test for a allow expression.

Parameters:

  • x A term

Returns: True if x is a allow expression

bool is_at(const atermpp::aterm_appl &x)

Test for a at expression.

Parameters:

  • x A term

Returns: True if x is a at expression

bool is_block(const atermpp::aterm_appl &x)

Test for a block expression.

Parameters:

  • x A term

Returns: True if x is a block expression

bool is_bounded_init(const atermpp::aterm_appl &x)

Test for a bounded_init expression.

Parameters:

  • x A term

Returns: True if x is a bounded_init expression

bool is_choice(const atermpp::aterm_appl &x)

Test for a choice expression.

Parameters:

  • x A term

Returns: True if x is a choice expression

bool is_comm(const atermpp::aterm_appl &x)

Test for a comm expression.

Parameters:

  • x A term

Returns: True if x is a comm expression

bool is_delta(const atermpp::aterm_appl &x)

Test for a delta expression.

Parameters:

  • x A term

Returns: True if x is a delta expression

bool is_hide(const atermpp::aterm_appl &x)

Test for a hide expression.

Parameters:

  • x A term

Returns: True if x is a hide expression

bool is_if_then(const atermpp::aterm_appl &x)

Test for a if_then expression.

Parameters:

  • x A term

Returns: True if x is a if_then expression

bool is_if_then_else(const atermpp::aterm_appl &x)

Test for a if_then_else expression.

Parameters:

  • x A term

Returns: True if x is a if_then_else expression

bool is_left_merge(const atermpp::aterm_appl &x)

Test for a left_merge expression.

Parameters:

  • x A term

Returns: True if x is a left_merge expression

bool is_merge(const atermpp::aterm_appl &x)

Test for a merge expression.

Parameters:

  • x A term

Returns: True if x is a merge expression

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

Test for a process_expression expression.

Parameters:

  • x A term

Returns: True if x is a process_expression expression

bool is_process_instance(const atermpp::aterm_appl &x)

Test for a process_instance expression.

Parameters:

  • x A term

Returns: True if x is a process_instance expression

bool is_process_instance_assignment(const atermpp::aterm_appl &x)

Test for a process_instance_assignment expression.

Parameters:

  • x A term

Returns: True if x is a process_instance_assignment expression

bool is_rename(const atermpp::aterm_appl &x)

Test for a rename expression.

Parameters:

  • x A term

Returns: True if x is a rename expression

bool is_seq(const atermpp::aterm_appl &x)

Test for a seq expression.

Parameters:

  • x A term

Returns: True if x is a seq expression

bool is_stochastic_operator(const atermpp::aterm_appl &x)

Test for a stochastic_operator expression.

Parameters:

  • x A term

Returns: True if x is a stochastic_operator expression

bool is_sum(const atermpp::aterm_appl &x)

Test for a sum expression.

Parameters:

  • x A term

Returns: True if x is a sum expression

bool is_sync(const atermpp::aterm_appl &x)

Test for a sync expression.

Parameters:

  • x A term

Returns: True if x is a sync expression

bool is_tau(const atermpp::aterm_appl &x)

Test for a tau expression.

Parameters:

  • x A term

Returns: True if x is a tau expression

bool is_untyped_process_assignment(const atermpp::aterm_appl &x)

Test for a untyped_process_assignment expression.

Parameters:

  • x A term

Returns: True if x is a untyped_process_assignment expression

process::action normalize_sorts(const action &x, const data::sort_specification &sortspec)
std::ostream &mcrl2::process::operator<<(std::ostream &out, const process_expression &x)

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

std::string pp(const process_expression &x)
std::string pp(const action &x)
std::string pp(const process_instance &x)
std::string pp(const process_instance_assignment &x)
std::string pp(const delta &x)
std::string pp(const tau &x)
std::string pp(const sum &x)
std::string pp(const block &x)
std::string pp(const hide &x)
std::string pp(const rename &x)
std::string pp(const comm &x)
std::string pp(const allow &x)
std::string pp(const sync &x)
std::string pp(const at &x)
std::string pp(const seq &x)
std::string pp(const if_then &x)
std::string pp(const if_then_else &x)
std::string pp(const bounded_init &x)
std::string pp(const merge &x)
std::string pp(const left_merge &x)
std::string pp(const choice &x)
std::string pp(const stochastic_operator &x)
std::string pp(const untyped_process_assignment &x)
std::string pp(const process_expression_list &x)
std::string pp(const process_expression_vector &x)
std::string pp(const action_list &x)
std::string pp(const action_vector &x)
void mcrl2::process::swap(process_expression &t1, process_expression &t2)

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

process::action translate_user_notation(const action &x)
process::process_expression translate_user_notation(const process::process_expression &x)