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.
Referenced by polybori::groebner::cheap_reductions().
Referenced by polybori::groebner::GroebnerStrategy::addAsYouWish().
Referenced by polybori::groebner::LexHelper::knowRestIsIrreducible().