smtrat::GBSettings1 Struct Reference

#include <GBSettings.h>

Public Types
typedef carl::GrLexOrdering	Order
typedef carl::MultivariatePolynomial< Rational, Order, ReasonPolicy >	PolynomialWithReasons
typedef carl::Ideal< PolynomialWithReasons >	MultivariateIdeal
typedef carl::Reductor< PolynomialWithReasons, PolynomialWithReasons >	Reductor
typedef smtrat::decidePassingPolynomial	passPolynomial
typedef carl::GBProcedure< PolynomialWithReasons, carl::Buchberger, carl::StdAdding >	Groebner

Static Public Attributes
static constexpr auto	moduleName = "GBModule<GBSettings1>"
static const unsigned	identifier = 1
static const bool	passGB = true
static const bool	getReasonsForInfeasibility = false
static const bool	passWithMinimalReasons = false
static const check_inequalities	checkInequalities = NEVER
static const pass_inequalities	passInequalities = AS_RECEIVED
static const after_firstInfeasibleSubset	withInfeasibleSubset = PROCEED_INFEASIBLEANDDEDUCTION
static const theory_deductions	addTheoryDeductions = ONLY_INEQUALITIES
static const unsigned	setCheckInequalitiesToBeginAfter = 0
static const bool	checkInequalitiesForTrivialSumOfSquares = true
static const bool	checkEqualitiesForTrivialSumOfSquares = true
static const transform_inequalities	transformIntoEqualities = NO_INEQUALITIES
static const bool	iterativeVariableRewriting = false
static const bool	applyNSS = false
static const unsigned	maxSDPdegree = 4
static const unsigned	SDPupperBoundNrVariables = 6
static const unsigned	callSDPAfterNMonomials = 6
static const unsigned	sternBrocotStartPrecisionOneTo = 80
static const unsigned	sternBrocotHigherPrecisionSteps = 2
static const unsigned	sternBrocotHigherPrecisionFactor = 10

Detailed Description

Definition at line 110 of file GBSettings.h.

Member Typedef Documentation

Groebner

typedef carl::GBProcedure<PolynomialWithReasons, carl::Buchberger, carl::StdAdding> smtrat::GBSettings1::Groebner

Definition at line 120 of file GBSettings.h.

MultivariateIdeal

typedef carl::Ideal<PolynomialWithReasons> smtrat::GBSettings1::MultivariateIdeal

Definition at line 117 of file GBSettings.h.

Order

typedef carl::GrLexOrdering smtrat::GBSettings1::Order

Definition at line 115 of file GBSettings.h.

passPolynomial

typedef smtrat::decidePassingPolynomial smtrat::GBSettings1::passPolynomial

Definition at line 119 of file GBSettings.h.

PolynomialWithReasons

typedef carl::MultivariatePolynomial<Rational, Order, ReasonPolicy> smtrat::GBSettings1::PolynomialWithReasons

Definition at line 116 of file GBSettings.h.

Reductor

typedef carl::Reductor<PolynomialWithReasons,PolynomialWithReasons> smtrat::GBSettings1::Reductor

Definition at line 118 of file GBSettings.h.

Field Documentation

addTheoryDeductions

const theory_deductions smtrat::GBSettings1::addTheoryDeductions = ONLY_INEQUALITIES

static

Definition at line 128 of file GBSettings.h.

applyNSS

const bool smtrat::GBSettings1::applyNSS = false

static

Definition at line 135 of file GBSettings.h.

callSDPAfterNMonomials

const unsigned smtrat::GBSettings1::callSDPAfterNMonomials = 6

static

Definition at line 138 of file GBSettings.h.

checkEqualitiesForTrivialSumOfSquares

const bool smtrat::GBSettings1::checkEqualitiesForTrivialSumOfSquares = true

static

Definition at line 131 of file GBSettings.h.

checkInequalities

const check_inequalities smtrat::GBSettings1::checkInequalities = NEVER

static

Definition at line 125 of file GBSettings.h.

checkInequalitiesForTrivialSumOfSquares

const bool smtrat::GBSettings1::checkInequalitiesForTrivialSumOfSquares = true

static

Definition at line 130 of file GBSettings.h.

getReasonsForInfeasibility

const bool smtrat::GBSettings1::getReasonsForInfeasibility = false

static

Definition at line 123 of file GBSettings.h.

identifier

const unsigned smtrat::GBSettings1::identifier = 1

static

Definition at line 113 of file GBSettings.h.

iterativeVariableRewriting

const bool smtrat::GBSettings1::iterativeVariableRewriting = false

static

Definition at line 133 of file GBSettings.h.

maxSDPdegree

const unsigned smtrat::GBSettings1::maxSDPdegree = 4

static

Definition at line 136 of file GBSettings.h.

moduleName

constexpr auto smtrat::GBSettings1::moduleName = "GBModule<GBSettings1>"

staticconstexpr

Definition at line 112 of file GBSettings.h.

passGB

const bool smtrat::GBSettings1::passGB = true

static

Definition at line 122 of file GBSettings.h.

passInequalities

const pass_inequalities smtrat::GBSettings1::passInequalities = AS_RECEIVED

static

Definition at line 126 of file GBSettings.h.

passWithMinimalReasons

const bool smtrat::GBSettings1::passWithMinimalReasons = false

static

Definition at line 124 of file GBSettings.h.

SDPupperBoundNrVariables

const unsigned smtrat::GBSettings1::SDPupperBoundNrVariables = 6

static

Definition at line 137 of file GBSettings.h.

setCheckInequalitiesToBeginAfter

const unsigned smtrat::GBSettings1::setCheckInequalitiesToBeginAfter = 0

static

Definition at line 129 of file GBSettings.h.

sternBrocotHigherPrecisionFactor

const unsigned smtrat::GBSettings1::sternBrocotHigherPrecisionFactor = 10

static

Definition at line 141 of file GBSettings.h.

sternBrocotHigherPrecisionSteps

const unsigned smtrat::GBSettings1::sternBrocotHigherPrecisionSteps = 2

static

Definition at line 140 of file GBSettings.h.

sternBrocotStartPrecisionOneTo

const unsigned smtrat::GBSettings1::sternBrocotStartPrecisionOneTo = 80

static

Definition at line 139 of file GBSettings.h.

transformIntoEqualities

const transform_inequalities smtrat::GBSettings1::transformIntoEqualities = NO_INEQUALITIES

static

Definition at line 132 of file GBSettings.h.

withInfeasibleSubset

const after_firstInfeasibleSubset smtrat::GBSettings1::withInfeasibleSubset = PROCEED_INFEASIBLEANDDEDUCTION

static

Definition at line 127 of file GBSettings.h.

---

The documentation for this struct was generated from the following file:

• smtrat-modules/GBModule/GBSettings.h