PolyBoRi
Public Member Functions | Public Attributes | List of all members
polybori::groebner::GroebnerOptions Class Reference

This class defines options settings for GroebnerStrategy. More...

#include <GroebnerOptions.h>

Inheritance diagram for polybori::groebner::GroebnerOptions:
polybori::groebner::GroebnerStrategy

Public Member Functions

 GroebnerOptions (bool redTailInLastBlock=false, bool lazy=false)
 Constructor with default settings. More...
 

Public Attributes

bool optRedTailInLastBlock
 
bool optLazy
 
std::string matrixPrefix
 
bool optDrawMatrices
 
bool optModifiedLinearAlgebra
 
bool optDelayNonMinimals
 
bool enabledLog
 
bool optExchange
 
bool optHFE
 
bool optStepBounded
 
bool optAllowRecursion
 
bool optLinearAlgebraInLastBlock
 
bool reduceByTailReduced
 

Detailed Description

This class defines options settings for GroebnerStrategy.

Note
: For most option values we give fixed defaults, but optRedTailInLastBlock and optLazy are problem dependent.

Constructor & Destructor Documentation

polybori::groebner::GroebnerOptions::GroebnerOptions ( bool  redTailInLastBlock = false,
bool  lazy = false 
)
inline

Constructor with default settings.

Member Data Documentation

bool polybori::groebner::GroebnerOptions::enabledLog
std::string polybori::groebner::GroebnerOptions::matrixPrefix
bool polybori::groebner::GroebnerOptions::optAllowRecursion
bool polybori::groebner::GroebnerOptions::optDelayNonMinimals
bool polybori::groebner::GroebnerOptions::optDrawMatrices
bool polybori::groebner::GroebnerOptions::optExchange
bool polybori::groebner::GroebnerOptions::optHFE
bool polybori::groebner::GroebnerOptions::optLazy
bool polybori::groebner::GroebnerOptions::optLinearAlgebraInLastBlock
bool polybori::groebner::GroebnerOptions::optModifiedLinearAlgebra
bool polybori::groebner::GroebnerOptions::optRedTailInLastBlock
bool polybori::groebner::GroebnerOptions::optStepBounded
bool polybori::groebner::GroebnerOptions::reduceByTailReduced

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