RootExpr.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::mcsat

Functions
template<typename P >
std::vector< carl::BasicConstraint< P > >	smtrat::mcsat::constr_from_vc (const carl::VariableComparison< P > &vc, const carl::Assignment< typename P::RootType > assignment, bool tarski=false)