join.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

Functions
template<typename FwdIt >
pbes_expression	mcrl2::pbes_system::join_or (FwdIt first, FwdIt last)
	Returns or applied to the sequence of pbes expressions [first, last)
template<typename FwdIt >
pbes_expression	mcrl2::pbes_system::join_and (FwdIt first, FwdIt last)
	Returns and applied to the sequence of pbes expressions [first, last)
std::set< pbes_expression >	mcrl2::pbes_system::split_or (const pbes_expression &expr, bool split_data_expressions=false)
	Splits a disjunction into a sequence of operands Given a pbes 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< pbes_expression >	mcrl2::pbes_system::split_and (const pbes_expression &expr, bool split_data_expressions=false)
	Splits a conjunction into a sequence of operands Given a pbes 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.
template<typename FwdIt >
pbes_expression	mcrl2::pbes_system::optimized_join_or (FwdIt first, FwdIt last)
	Returns or applied to the sequence of pbes expressions [first, last)
template<typename FwdIt >
pbes_expression	mcrl2::pbes_system::optimized_join_and (FwdIt first, FwdIt last)
	Returns and applied to the sequence of pbes expressions [first, last)

Detailed Description

add your file description here.

Definition in file join.h.