smtrat::covering_ng::formula::complexity::features Namespace Reference

Functions
auto	num_vars (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	max_max_total_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	sum_max_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	avg_avg_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	sum_sum_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	sum_max_total_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	avg_avg_total_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	sum_sum_total_degree (cadcells::datastructures::Projections &proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	max_level (cadcells::datastructures::Projections &, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &a)
auto	sum_total_degree (cadcells::datastructures::Projections &proj, const cadcells::datastructures::PolyConstraint &a)

Function Documentation

avg_avg_degree()

auto smtrat::covering_ng::formula::complexity::features::avg_avg_degree ( cadcells::datastructures::Projections &  proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &  a  )

inline

Definition at line 37 of file FormulaEvaluationComplexity.h.

Here is the call graph for this function:

avg_avg_total_degree()

auto smtrat::covering_ng::formula::complexity::features::avg_avg_total_degree ( cadcells::datastructures::Projections &  proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &  a  )

inline

Definition at line 67 of file FormulaEvaluationComplexity.h.

Here is the call graph for this function:

Here is the caller graph for this function:

max_level()

auto smtrat::covering_ng::formula::complexity::features::max_level ( cadcells::datastructures::Projections &  , const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &  a  )

inline

Definition at line 89 of file FormulaEvaluationComplexity.h.

Here is the caller graph for this function:

max_max_total_degree()

auto smtrat::covering_ng::formula::complexity::features::max_max_total_degree ( cadcells::datastructures::Projections &  proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &  a  )

inline

Definition at line 21 of file FormulaEvaluationComplexity.h.

Here is the call graph for this function:

Here is the caller graph for this function:

num_vars()

auto smtrat::covering_ng::formula::complexity::features::num_vars ( cadcells::datastructures::Projections &  proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &  a  )

inline

Definition at line 10 of file FormulaEvaluationComplexity.h.

Here is the call graph for this function:

Here is the caller graph for this function:

sum_max_degree()

auto smtrat::covering_ng::formula::complexity::features::sum_max_degree ( cadcells::datastructures::Projections &  proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &  a  )

inline

Definition at line 29 of file FormulaEvaluationComplexity.h.

Here is the call graph for this function:

sum_max_total_degree()

auto smtrat::covering_ng::formula::complexity::features::sum_max_total_degree ( cadcells::datastructures::Projections &  proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &  a  )

inline

Definition at line 59 of file FormulaEvaluationComplexity.h.

Here is the call graph for this function:

Here is the caller graph for this function:

sum_sum_degree()

auto smtrat::covering_ng::formula::complexity::features::sum_sum_degree ( cadcells::datastructures::Projections &  proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &  a  )

inline

Definition at line 49 of file FormulaEvaluationComplexity.h.

Here is the call graph for this function:

sum_sum_total_degree()

auto smtrat::covering_ng::formula::complexity::features::sum_sum_total_degree ( cadcells::datastructures::Projections &  proj, const boost::container::flat_set< cadcells::datastructures::PolyConstraint > &  a  )

inline

Definition at line 79 of file FormulaEvaluationComplexity.h.

Here is the call graph for this function:

Here is the caller graph for this function:

sum_total_degree()

auto smtrat::covering_ng::formula::complexity::features::sum_total_degree ( cadcells::datastructures::Projections &  proj, const cadcells::datastructures::PolyConstraint &  a  )

inline

Definition at line 97 of file FormulaEvaluationComplexity.h.

Here is the call graph for this function:

Here is the caller graph for this function: