Frobby  0.9.5
BigattiState Member List

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

_algorithmBigattiStateprivate
_idealBigattiStateprivate
_multiplyBigattiStateprivate
addStep(const Term &term)BigattiState
BigattiState(BigattiHilbertAlgorithm *algorithm, const Ideal &ideal, const Term &_multiply)BigattiState
colonStep(const Term &term)BigattiState
dispose()BigattiStatevirtual
getIdeal() constBigattiState
getIdeal()BigattiState
getMedianPositiveExponentOf(size_t var)BigattiState
getMultiply() constBigattiState
getMultiply()BigattiState
getTypicalExponent(size_t &var, Exponent &exp)BigattiState
getVarCount() constBigattiState
print(FILE *out)BigattiState
print(ostream &out)BigattiState
run(TaskEngine &tasks)BigattiStatevirtual
singleDegreeSort(size_t var)BigattiState
~Task()Taskvirtual