Frobby  0.9.0
TermTranslator Member List

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

_exponentsTermTranslatorprivate
_namesTermTranslatorprivate
_stringExponentsTermTranslatormutableprivate
_stringVarExponentsTermTranslatormutableprivate
addPurePowersAtInfinity(Ideal &ideal) const TermTranslator
clearStrings()TermTranslatorprivate
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)TermTranslatorprivate
lessThanReverseLex(const Exponent *a, const Exponent *b) const TermTranslator
makeStrings(bool includeVar) const TermTranslatorprivate
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 TermTranslatorprivate
shrinkExponent(size_t var, const mpz_class &exponent) const TermTranslatorprivate
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