FormulaEvaluationComplexity.h File Reference

#include <smtrat-cadcells/datastructures/projections.h>

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

Functions
auto	smtrat::covering_ng::formula::complexity::features::num_vars (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	smtrat::covering_ng::formula::complexity::features::max_max_total_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	smtrat::covering_ng::formula::complexity::features::sum_max_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	smtrat::covering_ng::formula::complexity::features::avg_avg_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	smtrat::covering_ng::formula::complexity::features::sum_sum_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	smtrat::covering_ng::formula::complexity::features::sum_max_total_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	smtrat::covering_ng::formula::complexity::features::avg_avg_total_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	smtrat::covering_ng::formula::complexity::features::sum_sum_total_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	smtrat::covering_ng::formula::complexity::features::max_level (cadcells::datastructures::Projections &, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	smtrat::covering_ng::formula::complexity::features::sum_total_degree (cadcells::datastructures::Projections &proj, const cadcells::datastructures::PolyConstraint &a)
bool	smtrat::covering_ng::formula::complexity::pickering_total (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &b)
	Inspired by Pickering, Lynn, Tereso Del Rio Almajano, Matthew England, and Kelly Cohen. More...
bool	smtrat::covering_ng::formula::complexity::min_level_min_size (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &b)
bool	smtrat::covering_ng::formula::complexity::min_size (cadcells::datastructures::Projections &, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &b)
bool	smtrat::covering_ng::formula::complexity::sotd (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &b)
	Dolzmann et al 2004. More...
bool	smtrat::covering_ng::formula::complexity::min_level_min_sotd (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &b)
bool	smtrat::covering_ng::formula::complexity::min_vars_min_sotd (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &b)
bool	smtrat::covering_ng::formula::complexity::sotd_reverse (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &b)
bool	smtrat::covering_ng::formula::complexity::min_max_tdeg_min_size (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &b)
bool	smtrat::covering_ng::formula::complexity::min_sotd (cadcells::datastructures::Projections &proj, const cadcells::datastructures::PolyConstraint &a, const cadcells::datastructures::PolyConstraint &b)
bool	smtrat::covering_ng::formula::complexity::min_tdeg (cadcells::datastructures::Projections &proj, const cadcells::datastructures::PolyConstraint &a, const cadcells::datastructures::PolyConstraint &b)