Include file:
#include "mcrl2/process/process_identifier.h"
add your file description here.
mcrl2::process::
process_identifier_key_type
¶typedef for std::pair< core::identifier_string, data::variable_list >
mcrl2::process::
process_identifier_list
¶typedef for atermpp::term_list< process_identifier >
list of process_identifiers
mcrl2::process::
process_identifier_vector
¶typedef for std::vector< process_identifier >
vector of process_identifiers
mcrl2::process::
is_process_identifier
(const atermpp::aterm_appl &x)¶Test for a process_identifier expression.
Parameters:
x A term
Returns: True if x is a process_identifier expression
mcrl2::process::
normalize_sorts
(process_identifier_vector &x, const data::sort_specification &sortspec)¶mcrl2::process::
operator<<
(std::ostream &out, const process_identifier &x)¶Outputs the object to a stream.
Parameters:
out An output stream
x Object x
Returns: The output stream
pp
(const process_identifier &x)¶pp
(const process_identifier_list &x)¶pp
(const process_identifier_vector &x)¶mcrl2::process::
swap
(process_identifier &t1, process_identifier &t2)¶swap overload