FormulaEvaluation.h File Reference

#include "types.h"
#include <functional>
#include <boost/container/flat_set.hpp>

Include dependency graph for FormulaEvaluation.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::covering_ng
	smtrat::covering_ng::formula

Typedefs
using	smtrat::covering_ng::formula::ImplicantOrdering = std::function< bool(cadcells::datastructures::Projections &, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &)>
using	smtrat::covering_ng::formula::ConstraintOrdering = std::function< bool(cadcells::datastructures::Projections &, const cadcells::datastructures::PolyConstraint &, const cadcells::datastructures::PolyConstraint &)>

Enumerations
enum class	smtrat::covering_ng::formula::Valuation { smtrat::covering_ng::formula::TRUE , smtrat::covering_ng::formula::FALSE , smtrat::covering_ng::formula::MULTIVARIATE , smtrat::covering_ng::formula::UNKNOWN }

Functions
std::ostream &	smtrat::covering_ng::formula::operator<< (std::ostream &o, Valuation v)