Assertables.h File Reference

A collection of helper functions to check assertable conditions for CAD properties, preconditions and invariants. More...

#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>
#include <carl-arith/core/Variable.h>
#include <carl-arith/poly/umvpoly/functions/Factorization.h>
#include <smtrat-common/smtrat-common.h>
#include <algorithm>
#include <set>
#include <vector>

Include dependency graph for Assertables.h:

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
	smtrat::mcsat::onecellcad

Functions
template<typename PolyType >
bool	smtrat::mcsat::onecellcad::hasOnlyNonConstIrreducibles (const std::vector< PolyType > &polys)
template<typename PolyType >
bool	smtrat::mcsat::onecellcad::isNonConstIrreducible (const PolyType &poly)
template<typename T >
bool	smtrat::mcsat::onecellcad::hasUniqElems (const std::vector< T > &container)
template<typename T >
bool	smtrat::mcsat::onecellcad::isSubset (const std::vector< T > &c1, const std::vector< T > &c2)
template<typename T >
std::vector< T >	smtrat::mcsat::onecellcad::asVector (const std::set< T > s)
template<typename PolyType >
bool	smtrat::mcsat::onecellcad::polyVarsAreAllInList (const std::vector< PolyType > &polys, const std::vector< carl::Variable > &variables)

Detailed Description

A collection of helper functions to check assertable conditions for CAD properties, preconditions and invariants.

Definition in file Assertables.h.