MsmSlice Member List

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

_consumer	MsmSlice	private
_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)	MsmSlice	virtual
clearIdealAndSubtract()	Slice
dispose()	Slice	virtual
getConsumer()	MsmSlice	inline
getIdeal() const	Slice	inline
getLcm() const	Slice
getLowerBound(Term &bound, size_t var) const	MsmSlice	privatevirtual
getMultiply()	Slice	inline
getMultiply() const	Slice	inline
getSubtract()	Slice	inline
getSubtract() const	Slice	inline
getVarCount() const	Slice	inline
innerSlice(const Term &pivot)	MsmSlice	virtual
MsmSlice(MsmStrategy &strategy)	MsmSlice
MsmSlice(MsmStrategy &strategy, const Ideal &ideal, const Ideal &subtract, const Term &multiply, TermConsumer *consumer)	MsmSlice
normalize()	Slice
oneMoreGeneratorBaseCase()	MsmSlice	private
operator=(const Slice &slice)	MsmSlice	virtual
outerSlice(const Term &pivot)	MsmSlice	virtual
print(FILE *file) const	Slice
pruneSubtract()	Slice	protected
removeDoubleLcm()	MsmSlice	private
resetAndSetVarCount(size_t varCount)	Slice
run(TaskEngine &tasks)	Slice	virtual
setToProjOf(const MsmSlice &slice, const Projection &projection, TermConsumer *consumer)	MsmSlice
Slice::setToProjOf(const Slice &slice, const Projection &projection)	Slice	protected
simplify()	Slice	virtual
simplifyStep()	MsmSlice	virtual
singleDegreeSortIdeal(size_t var)	Slice
Slice(SliceStrategy &strategy)	Slice
Slice(SliceStrategy &strategy, const Ideal &ideal, const Ideal &subtract, const Term &multiply)	Slice
swap(MsmSlice &slice)	MsmSlice
Slice::swap(Slice &slice)	Slice	protected
twoNonMaxBaseCase()	MsmSlice	private
twoVarBaseCase()	MsmSlice	private
~Slice()	Slice	virtual
~Task()	Task	virtual