join.h File Reference

Join and split functions for data expressions. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.

Functions
template<typename FwdIt >
data_expression	mcrl2::data::join_or (FwdIt first, FwdIt last)
	Returns or applied to the sequence of data expressions [first, last)
template<typename FwdIt >
data_expression	mcrl2::data::join_and (FwdIt first, FwdIt last)
	Returns and applied to the sequence of data expressions [first, last)
std::set< data_expression >	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.
std::set< data_expression >	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.

Detailed Description

Join and split functions for data expressions.

Definition in file join.h.