GBSettings.h File Reference

#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>
#include <smtrat-common/smtrat-common.h>

Include dependency graph for GBSettings.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	smtrat::GBSettings5
struct	smtrat::GBSettings3
struct	smtrat::GBSettings1
struct	smtrat::GBSettings4
struct	smtrat::GBSettings6
struct	smtrat::GBSettings41
struct	smtrat::GBSettings51
struct	smtrat::GBSettings51A
struct	smtrat::GBSettings61
struct	smtrat::GBSettings61A
struct	smtrat::GBSettings43
struct	smtrat::GBSettings63
struct	smtrat::decidePassingPolynomial

Namespaces
	smtrat
	Class to create the formulas for axioms.

Typedefs
typedef carl::StdMultivariatePolynomialPolicies< carl::BVReasons >	smtrat::ReasonPolicy

Enumerations
enum	smtrat::pass_inequalities { smtrat::AS_RECEIVED , smtrat::FULL_REDUCED , smtrat::FULL_REDUCED_IF }
	Only active if we check inequalities. More...
enum	smtrat::after_firstInfeasibleSubset { smtrat::RETURN_DIRECTLY , smtrat::PROCEED_INFEASIBLEANDDEDUCTION , smtrat::PROCEED_ALLINEQUALITIES }
enum	smtrat::theory_deductions { smtrat::NO_CONSTRAINTS , smtrat::ONLY_INEQUALITIES , smtrat::ALL_CONSTRAINTS }
enum	smtrat::check_inequalities { smtrat::ALWAYS , smtrat::AFTER_NEW_GB , smtrat::NEVER }
enum	smtrat::transform_inequalities { smtrat::ALL_INEQUALITIES , smtrat::ONLY_NONSTRICT , smtrat::NO_INEQUALITIES }
enum	smtrat::backtracking_mode { smtrat::CHRONOLOGICAL , smtrat::NON_CHRONOLOGICAL }