|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| JWOrder | |
| MyOrder | |
| NegativeLiteralSelectionStrategy | |
| 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. |
| RSATPhaseSelectionStrategy | Keeps track of the phase of the latest assignment. |
| UserFixedPhaseSelectionStrategy | Selection strategy where the phase selection is decided at init time and is not updated during the search. |
| VarOrder<L extends ILits> | |
| VarOrderHeap<L extends ILits> | |
Various heuristics to select the next variable to branch on.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||