join.h File Reference

Generic join and split functions. 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::utilities
namespace	mcrl2::utilities::detail

Functions
template<typename T , typename OutputIterator , typename MatchFunction , typename AccessorFunction1 , typename AccessorFunction2 >
void	mcrl2::utilities::detail::split (const T &t, OutputIterator i, MatchFunction match, AccessorFunction1 lhs, AccessorFunction2 rhs)
	Splits a binary tree T into a sequence, and writes the result to the output range given by an output iterator.
template<typename T , typename FwdIt , typename BinaryOperation >
T	mcrl2::utilities::detail::join (FwdIt first, FwdIt last, BinaryOperation op, T empty_sequence_result)
	Given a sequence [t1, t2, ..., tn] of elements of type T, returns op(t1, op(t2, ...), tn)))).
template<typename T , typename RndIt , typename BinaryOperation >
T	mcrl2::utilities::detail::join_balanced (RndIt first, RndIt last, BinaryOperation op)
	Given a non-empty sequence [t1, t2, ..., tn] of elements of type T, returns op(op(t1, op(t2, ...), tn)))). The height of the resulting expression tree is minimal.

Detailed Description

Generic join and split functions.

Definition in file join.h.