TermTranslator Member List

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

_exponents	TermTranslator	private
_names	TermTranslator	private
_stringExponents	TermTranslator	mutableprivate
_stringVarExponents	TermTranslator	mutableprivate
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