Functions
template<typename PolType , bool AS, typename InIt , typename InsertIt >
void	toPolynomialConstraints (InIt start, InIt end, InsertIt out)
	Converts Constraint<RationalFunction<Poly>> to Constraint<Poly> More...

Function Documentation

◆ toPolynomialConstraints()

template<typename PolType , bool AS, typename InIt , typename InsertIt >

void carl::constraints::toPolynomialConstraints	(	InIt	start,
		InIt	end,
		InsertIt	out
	)

Converts Constraint<RationalFunction<Poly>> to Constraint<Poly>

Definition at line 23 of file ConstraintOperations.h.

Here is the call graph for this function: