#include <MsmStrategy.h>
|
virtual void | getPivot (Term &pivot, Slice &slice) |
| Used by pivotSplit to obtain a pivot.
|
|
virtual void | getPivot (Term &pivot, Slice &slice, const TermGrader &grader) |
|
virtual bool | simplify (Slice &slice) |
| Simplifies slice and returns true if it changed.
|
|
auto_ptr< Slice > | newSlice () |
| Returns a slice from the cache that freeSlice adds to, or allocate a new one using allocateSlice.
|
|
virtual void | pivotSplit (auto_ptr< Slice > slice) |
| Takes over ownership of slice.
|
|
bool | getUseIndependence () const |
| Returns true if independence splits should be performed when possible.
|
|
bool | getUseSimplification () const |
| Returns true if slices should be simplified.
|
|
Definition at line 37 of file MsmStrategy.h.
◆ MsmStrategy() [1/2]
◆ MsmStrategy() [2/2]
◆ allocateSlice()
auto_ptr< Slice > MsmStrategy::allocateSlice |
( |
| ) |
|
|
privatevirtual |
◆ debugIsValidSlice()
bool MsmStrategy::debugIsValidSlice |
( |
Slice * | slice | ) |
|
|
privatevirtual |
Check that this slice is valid for use with this strategy.
No check need be performed unless DEBUG is defined, making it acceptable to check things using ASSERT. This method should not be called if DEBUG is not defined.
Implements SliceStrategyCommon.
Definition at line 98 of file MsmStrategy.cpp.
◆ getLabelSplitVariable()
size_t MsmStrategy::getLabelSplitVariable |
( |
const Slice & | slice | ) |
|
|
private |
◆ getPivot() [1/2]
void MsmStrategy::getPivot |
( |
Term & | pivot, |
|
|
Slice & | slice ) |
|
protectedvirtual |
◆ getPivot() [2/2]
◆ independenceSplit()
void MsmStrategy::independenceSplit |
( |
auto_ptr< Slice > | slice | ) |
|
|
private |
◆ labelSplit()
void MsmStrategy::labelSplit |
( |
auto_ptr< Slice > | slice | ) |
|
|
private |
◆ newMsmSlice()
auto_ptr< MsmSlice > MsmStrategy::newMsmSlice |
( |
| ) |
|
|
private |
◆ processSlice()
bool MsmStrategy::processSlice |
( |
TaskEngine & | tasks, |
|
|
auto_ptr< Slice > | slice ) |
|
virtual |
Process the parameter slice.
Returns true if this is a base case and false otherwise.
Implements SliceStrategy.
Definition at line 68 of file MsmStrategy.cpp.
◆ run()
void MsmStrategy::run |
( |
const Ideal & | ideal | ) |
|
|
virtual |
◆ _consumer
◆ _indep
◆ _initialSubtract
auto_ptr<Ideal> MsmStrategy::_initialSubtract |
|
private |
The documentation for this class was generated from the following files: