|
Frobby
0.9.5
|
This is the complete list of members for Slice, including all inherited members.
| _ideal | Slice | protected |
| _lcm | Slice | mutableprotected |
| _lcmUpdated | Slice | mutableprotected |
| _lowerBoundHint | Slice | protected |
| _multiply | Slice | protected |
| _strategy | Slice | protected |
| _subtract | Slice | protected |
| _varCount | Slice | protected |
| adjustMultiply() | Slice | |
| applyLowerBound() | Slice | protected |
| baseCase(bool simplified)=0 | Slice | pure virtual |
| clearIdealAndSubtract() | Slice | |
| dispose() | Slice | virtual |
| getIdeal() const | Slice | inline |
| getLcm() const | Slice | |
| getLowerBound(Term &bound, size_t var) const =0 | Slice | protectedpure virtual |
| getMultiply() | Slice | inline |
| getMultiply() const | Slice | inline |
| getSubtract() | Slice | inline |
| getSubtract() const | Slice | inline |
| getVarCount() const | Slice | inline |
| innerSlice(const Term &pivot) | Slice | virtual |
| normalize() | Slice | |
| operator=(const Slice &slice)=0 | Slice | pure virtual |
| outerSlice(const Term &pivot) | Slice | virtual |
| print(FILE *file) const | Slice | |
| pruneSubtract() | Slice | protected |
| resetAndSetVarCount(size_t varCount) | Slice | |
| run(TaskEngine &tasks) | Slice | virtual |
| setToProjOf(const Slice &slice, const Projection &projection) | Slice | protected |
| simplify() | Slice | virtual |
| simplifyStep()=0 | Slice | pure virtual |
| singleDegreeSortIdeal(size_t var) | Slice | |
| Slice(SliceStrategy &strategy) | Slice | |
| Slice(SliceStrategy &strategy, const Ideal &ideal, const Ideal &subtract, const Term &multiply) | Slice | |
| swap(Slice &slice) | Slice | protected |
| ~Slice() | Slice | virtual |
| ~Task() | Task | virtual |
1.9.1