SatBinomIdeal Member List

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

_gens	SatBinomIdeal	private
_names	SatBinomIdeal	private
clear()	SatBinomIdeal
clearAndSetNames(const VarNames &names)	SatBinomIdeal
getDoubleTriangleCount(mpz_class &count) const	SatBinomIdeal
getGenerator(size_t index) const	SatBinomIdeal
getGeneratorCount() const	SatBinomIdeal
getInitialIdeal(BigIdeal &ideal) const	SatBinomIdeal
getLastBinomRef()	SatBinomIdeal
getMatrix(Matrix &matrix) const	SatBinomIdeal
getNames() const	SatBinomIdeal
getVarCount() const	SatBinomIdeal
hasZeroEntry() const	SatBinomIdeal
initialIdealIsWeaklyGeneric() const	SatBinomIdeal
insert(const vector< mpz_class > &binom)	SatBinomIdeal
isDominating(const vector< mpz_class > &v) const	SatBinomIdeal
isGenerator(const vector< mpz_class > &v) const	SatBinomIdeal
isGeneric() const	SatBinomIdeal
isInterior(const vector< mpz_class > &a, const vector< mpz_class > &b) const	SatBinomIdeal
isInteriorEdge(size_t from, size_t to) const	SatBinomIdeal
isPointFreeBody(const vector< mpz_class > &a, const vector< mpz_class > &b) const	SatBinomIdeal
isPointFreeBody(const vector< mpz_class > &a, const vector< mpz_class > &b, const vector< mpz_class > &c) const	SatBinomIdeal
isTerminatingEdge(size_t from, size_t to) const	SatBinomIdeal
newLastTerm()	SatBinomIdeal
operator=(const SatBinomIdeal &ideal)	SatBinomIdeal
print(FILE *file) const	SatBinomIdeal
print(ostream &out) const	SatBinomIdeal
projectVar(size_t var)	SatBinomIdeal
removeGeneratorsWithLeadingZero()	SatBinomIdeal
removeGeneratorsWithoutLeadingZero()	SatBinomIdeal
renameVars(const VarNames &names)	SatBinomIdeal
reserve(size_t size)	SatBinomIdeal
SatBinomIdeal()	SatBinomIdeal
SatBinomIdeal(const VarNames &names)	SatBinomIdeal
validate() const	SatBinomIdeal