16 #ifndef polybori_groebner_ChainVariableCriterion_h_
17 #define polybori_groebner_ChainVariableCriterion_h_
int i
Definition: ChainVariableCriterion.h:33
This class is just a wrapper for using variables for storing indices as interim data structure for Bo...
Definition: BooleExponent.h:34
size_type index(const KeyType &key) const
Retrieve index associated to key.
Definition: PolyEntryVector.h:99
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
const GroebnerStrategy * strat
connect via pairs
Definition: ChainVariableCriterion.h:32
ChainVariableCriterion(const GroebnerStrategy &strat, int i, idx_type v)
Definition: ChainVariableCriterion.h:35
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
PairStatusSet status
Definition: PairManager.h:75
ReductionStrategy generators
Definition: GroebnerStrategy.h:204
idx_type v
Definition: ChainVariableCriterion.h:34
This class defines ChainVariableCriterion.
Definition: ChainVariableCriterion.h:29
This class defines GroebnerStrategy.
Definition: GroebnerStrategy.h:41
bool hasTRep(int ia, int ja) const
Definition: PairStatusSet.h:33
PairManagerWithStrategy< strategy_type > pairs
For compatibility reasons make this a public member.
Definition: PairManagerFacade.h:95
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44