mcrl2/process/join.h

Include file:

#include "mcrl2/process/join.h"

add your file description here.

Functions

process_expression mcrl2::process::join_summands(FwdIt first, FwdIt last)

Returns or applied to the sequence of process expressions [first, last).

Parameters:

  • first Start of a sequence of process expressions.

  • last End of a sequence of of process expressions.

Returns: The choice operator applied to the sequence of process expressions [first, last).

std::vector<process_expression> mcrl2::process::split_summands(const process_expression &x)

Splits a choice into a set of operands Given a process expression of the form p1 + p2 + …. + pn, this will yield a set of the form { p1, p2, …, pn }, assuming that pi does not have a + as main function symbol.

Parameters:

  • x A process expression.

Returns: A set of process expressions.