Include file:
#include "mcrl2/process/communication_expression.h"
add your file description here.
mcrl2::process::
communication_expression_list
¶typedef for atermpp::term_list< communication_expression >
list of communication_expressions
mcrl2::process::
communication_expression_vector
¶typedef for std::vector< communication_expression >
vector of communication_expressions
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
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
pp
(const communication_expression &x)¶mcrl2::process::
swap
(communication_expression &t1, communication_expression &t2)¶swap overload