mcrl2/process/communication_expression.h¶
Include file:
#include "mcrl2/process/communication_expression.h"
add your file description here.
Typedefs¶
-
type
communication_expression_list¶ typedef for
atermpp::term_list< communication_expression >list of communication_expressions
-
type
communication_expression_vector¶ typedef for
std::vector< communication_expression >vector of communication_expressions
Functions¶
-
bool
mcrl2::process::is_communication_expression(const atermpp::aterm_appl &x)¶ Test for a communication_expression expression.
Parameters:
- x A term
Returns: True if x is a communication_expression expression
-
std::ostream &
mcrl2::process::operator<<(std::ostream &out, const communication_expression &x)¶ Outputs the object to a stream.
Parameters:
- out An output stream
- x Object x
Returns: The output stream
-
std::string
pp(const communication_expression &x)¶
-
void
mcrl2::process::swap(communication_expression &t1, communication_expression &t2)¶ swap overload
