PolyBoRi
ReductionOptions.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
14 //*****************************************************************************
15 
16 #ifndef polybori_groebner_ReductionOptions_h_
17 #define polybori_groebner_ReductionOptions_h_
18 
19 // include basic definitions
20 #include "groebner_defs.h"
21 
23 
30 public:
32  optBrutalReductions(true), optLL(false),
33  optRedTailDegGrowth(true), optRedTail(true),
34  reducibleUntil(-1) {}
35 
37  bool optLL;
39  bool optRedTail;
41 };
42 
44 
45 #endif /* polybori_groebner_ReductionOptions_h_ */
bool optBrutalReductions
Definition: ReductionOptions.h:36
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
idx_type reducibleUntil
Definition: ReductionOptions.h:40
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
bool optRedTail
Definition: ReductionOptions.h:39
bool optLL
Definition: ReductionOptions.h:37
bool optRedTailDegGrowth
Definition: ReductionOptions.h:38
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
This class defines option values for the ReductionStrategy.
Definition: ReductionOptions.h:29
ReductionOptions()
Definition: ReductionOptions.h:31