PolyBoRi
|
This class defines option values for the ReductionStrategy. More...
#include <ReductionOptions.h>
Public Member Functions | |
ReductionOptions () | |
Public Attributes | |
bool | optBrutalReductions |
bool | optLL |
bool | optRedTailDegGrowth |
bool | optRedTail |
idx_type | reducibleUntil |
This class defines option values for the ReductionStrategy.
|
inline |
bool polybori::groebner::ReductionOptions::optBrutalReductions |
bool polybori::groebner::ReductionOptions::optLL |
Referenced by polybori::groebner::cheap_reductions().
bool polybori::groebner::ReductionOptions::optRedTail |
Referenced by polybori::groebner::GroebnerStrategy::addAsYouWish().
bool polybori::groebner::ReductionOptions::optRedTailDegGrowth |
idx_type polybori::groebner::ReductionOptions::reducibleUntil |
Referenced by polybori::groebner::LexHelper::knowRestIsIrreducible().