ConstraintOperations.h File Reference

#include <iterator>
#include <carl-formula/arithmetic/Constraint.h>
#include "RationalFunction.h"

Include dependency graph for ConstraintOperations.h:

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.
	carl::constraints

Functions
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> More...

Detailed Description

Author

Sebastian Junges

Definition in file ConstraintOperations.h.