#include <groebner_alg.h>
Public Types | |
typedef boost::dynamic_bitset | bitvector_type |
Public Member Functions | |
bool | hasTRep (int ia, int ja) const |
void | setToHasTRep (int ia, int ja) |
void | setToUncalculated (int ia, int ja) |
void | prolong (bool value=UNCALCULATED) |
PairStatusSet (int size=0) | |
Static Public Attributes | |
static const bool | HAS_T_REP = true |
static const bool | UNCALCULATED = false |
Protected Attributes | |
std::vector< bitvector_type > | table |
typedef boost::dynamic_bitset PairStatusSet::bitvector_type |
PairStatusSet::PairStatusSet | ( | int | size = 0 |
) | [inline] |
References prolong().
bool PairStatusSet::hasTRep | ( | int | ia, | |
int | ja | |||
) | const [inline] |
void PairStatusSet::prolong | ( | bool | value = UNCALCULATED |
) | [inline] |
References table.
Referenced by GroebnerStrategy::addGenerator(), and PairStatusSet().
void PairStatusSet::setToHasTRep | ( | int | ia, | |
int | ja | |||
) | [inline] |
References HAS_T_REP, and table.
Referenced by GroebnerStrategy::addGenerator(), PairManager::cleanTopByChainCriterion(), PairManager::nextSpoly(), and HasTRepOrExtendedProductCriterion::operator()().
void PairStatusSet::setToUncalculated | ( | int | ia, | |
int | ja | |||
) | [inline] |
References table, and UNCALCULATED.
Referenced by GroebnerStrategy::addGenerator().
const bool PairStatusSet::HAS_T_REP = true [static] |
Referenced by GroebnerStrategy::addGenerator(), hasTRep(), and setToHasTRep().
std::vector<bitvector_type> PairStatusSet::table [protected] |
Referenced by hasTRep(), prolong(), setToHasTRep(), and setToUncalculated().
const bool PairStatusSet::UNCALCULATED = false [static] |
Referenced by setToUncalculated().