Frobby  0.9.0
SatBinomIdeal Member List

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

_gensSatBinomIdealprivate
_namesSatBinomIdealprivate
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