smtrat::covering_ng::variables Namespace Reference

Namespaces
	impl

Enumerations
enum	VariableOrderingHeuristics {   GreedyMaxUnivariate , FeatureBased , FeatureBasedZ3 , FeatureBasedBrown ,   FeatureBasedTriangular , FeatureBasedLexicographic , FeatureBasedPickering , EarliestSplitting }
	Possible heuristics for variable ordering. More...

Functions
std::string	get_name (VariableOrderingHeuristics ordering)
template<VariableOrderingHeuristics vo>
std::vector< carl::Variable >	get_variable_ordering (const carl::QuantifierPrefix &quantifiers, const FormulaT &formula)

Enumeration Type Documentation

VariableOrderingHeuristics

enum smtrat::covering_ng::variables::VariableOrderingHeuristics

Possible heuristics for variable ordering.

Enumerator
GreedyMaxUnivariate
FeatureBased
FeatureBasedZ3
FeatureBasedBrown
FeatureBasedTriangular
FeatureBasedLexicographic
FeatureBasedPickering
EarliestSplitting

Definition at line 17 of file VariableOrdering.h.

Function Documentation

get_name()

std::string smtrat::covering_ng::variables::get_name ( VariableOrderingHeuristics  ordering )

inline

Definition at line 28 of file VariableOrdering.h.

get_variable_ordering()

template<VariableOrderingHeuristics vo>

std::vector<carl::Variable> smtrat::covering_ng::variables::get_variable_ordering ( const carl::QuantifierPrefix &  quantifiers, const FormulaT &  formula  )

inline

Definition at line 240 of file VariableOrdering.h.

Here is the call graph for this function: