carl::formula::aux Namespace Reference

Functions
template<typename Pol >
Formula< Pol >	connectPrecedingSubformulas (const Formula< Pol > &f)
	[Auxiliary method] More...

Function Documentation

connectPrecedingSubformulas()

template<typename Pol >

Formula<Pol> carl::formula::aux::connectPrecedingSubformulas

(

const Formula< Pol > &

f

)

[Auxiliary method]

Returns

The formula combining the first to the second last sub-formula of this formula by the same operator as the one of this formula. Example: this = (op a1 a2 .. an) -> return = (op a1 .. an-1) If n = 2, return = a1

Definition at line 13 of file aux.h.

Here is the call graph for this function:

Here is the caller graph for this function: