|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| NegativeLiteralSelectionStrategy | |
| PhaseCachingAutoEraseStrategy | |
| PhaseInLastLearnedClauseSelectionStrategy | Keeps record of the phase of a variable in the lastest recorded clause. |
| PositiveLiteralSelectionStrategy | |
| PureOrder | |
| RandomLiteralSelectionStrategy | The variable selection strategy randomly picks one phase, either positive or negative. |
| RandomWalkDecorator | |
| RSATLastLearnedClausesPhaseSelectionStrategy | Keeps track of the phase of the latest assignment. |
| RSATPhaseSelectionStrategy | Keeps track of the phase of the latest assignment. |
| SubsetVarOrder | |
| TabuListDecorator | Uses a tabu list to prevent the solver to |
| UserFixedPhaseSelectionStrategy | Selection strategy where the phase selection is decided at init time and is not updated during the search. |
| VarOrderHeap | |
Various heuristics to select the next variable to branch on.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||