_leftProjection | HilbertIndependenceConsumer | private |
_parent | HilbertIndependenceConsumer | private |
_rightCoefs | HilbertIndependenceConsumer | private |
_rightConsumer | HilbertIndependenceConsumer | private |
_rightProjection | HilbertIndependenceConsumer | private |
_rightTerms | HilbertIndependenceConsumer | private |
_strategy | HilbertIndependenceConsumer | private |
_tmpCoef | HilbertIndependenceConsumer | private |
_tmpTerm | HilbertIndependenceConsumer | private |
beginConsuming() | HilbertIndependenceConsumer | virtual |
clear() | HilbertIndependenceConsumer | |
consume(const mpz_class &coef, const Term &term) | HilbertIndependenceConsumer | virtual |
CoefTermConsumer::consume(const Polynomial &poly) | CoefTermConsumer | virtual |
consumeLeft(const mpz_class &leftCoef, const Term &leftTerm) | HilbertIndependenceConsumer | privatevirtual |
consumeRight(const mpz_class &coef, const Term &term) | HilbertIndependenceConsumer | privatevirtual |
consumeRing(const VarNames &names) | HilbertIndependenceConsumer | virtual |
dispose() | HilbertIndependenceConsumer | virtual |
doneConsuming() | HilbertIndependenceConsumer | virtual |
getLeftConsumer() | HilbertIndependenceConsumer | |
getLeftProjection() const | HilbertIndependenceConsumer | |
getRightConsumer() | HilbertIndependenceConsumer | |
getRightProjection() const | HilbertIndependenceConsumer | |
HilbertIndependenceConsumer(HilbertStrategy *strategy) | HilbertIndependenceConsumer | |
reset(CoefTermConsumer *parent, IndependenceSplitter &splitter, size_t varCount) | HilbertIndependenceConsumer | |
run(TaskEngine &engine) | HilbertIndependenceConsumer | virtual |
~CoefTermConsumer() | CoefTermConsumer | virtual |
~Task() | Task | virtual |