TermTranslator Member List

This is the complete list of members for TermTranslator, including all inherited members.

_exponents | TermTranslator | private
_names | TermTranslator | private
_stringExponents | TermTranslator | mutable private
_stringVarExponents | TermTranslator | mutable private
addPurePowersAtInfinity(Ideal &ideal) const | TermTranslator |
clearStrings() | TermTranslator | private
decrement() | TermTranslator |
dualize(const vector< mpz_class > &a) | TermTranslator |
getExponent(size_t variable, Exponent exponent) const | TermTranslator |
getExponent(size_t variable, const Term &term) const | TermTranslator |
getExponentString(size_t variable, Exponent exponent) const | TermTranslator |
getMaxId(size_t variable) const | TermTranslator |
getNames() const | TermTranslator |
getVarCount() const | TermTranslator |
getVarExponentString(size_t variable, Exponent exponent) const | TermTranslator |
initialize(const vector< BigIdeal * > &bigIdeals, bool sortVars) | TermTranslator | private
lessThanReverseLex(const Exponent *a, const Exponent *b) const | TermTranslator |
makeStrings(bool includeVar) const | TermTranslator | private
operator=(const TermTranslator &translator) | TermTranslator |
print(ostream &out) const | TermTranslator |
renameVariables(const VarNames &names) | TermTranslator |
setInfinityPowersToZero(Ideal &ideal) const | TermTranslator |
shrinkBigIdeal(const BigIdeal &bigIdeal, Ideal &ideal) const | TermTranslator | private
shrinkExponent(size_t var, const mpz_class &exponent) const | TermTranslator | private
swapVariables(size_t a, size_t b) | TermTranslator |
TermTranslator(size_t varCount, size_t upToExponent) | TermTranslator |
TermTranslator(const BigIdeal &bigIdeal, Ideal &ideal, bool sortVars=true) | TermTranslator |
TermTranslator(const vector< BigIdeal * > &bigIdeals, vector< Ideal * > &ideals) | TermTranslator |
TermTranslator(const TermTranslator &translator) | TermTranslator |
toString() const | TermTranslator |
~TermTranslator() | TermTranslator |