Include file:
#include "mcrl2/data/join.h"
Join and split functions for data expressions.
mcrl2::data::
join_and
(FwdIt first, FwdIt last)¶Returns and applied to the sequence of data expressions [first, last)
Parameters:
Returns: And applied to the sequence of data expressions [first, last)
mcrl2::data::
join_or
(FwdIt first, FwdIt last)¶Returns or applied to the sequence of data expressions [first, last)
Parameters:
Returns: Or applied to the sequence of data expressions [first, last)
mcrl2::data::
split_and
(const data_expression &expr)¶Splits a conjunction into a sequence of operands Given a data 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:
Returns: A sequence of operands
mcrl2::data::
split_or
(const data_expression &expr)¶Splits a disjunction into a sequence of operands Given a data 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:
Returns: A sequence of operands