smtrat::covering_ng::formula::pp Namespace Reference

Data Structures
struct	PolyInfo

Functions
carl::BasicConstraint< Poly >	normalize (const carl::BasicConstraint< Poly > &c)
FormulaT	preprocess (const FormulaT &f)

Function Documentation

normalize()

carl::BasicConstraint<Poly> smtrat::covering_ng::formula::pp::normalize ( const carl::BasicConstraint< Poly > &  c )

inline

Definition at line 657 of file FormulaEvaluationGraph.cpp.

Here is the caller graph for this function:

preprocess()

FormulaT smtrat::covering_ng::formula::pp::preprocess

(

const FormulaT &

f

)

Definition at line 679 of file FormulaEvaluationGraph.cpp.

Here is the call graph for this function:

Here is the caller graph for this function: