|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| JWOrder | |
| MyOrder | |
| PureOrder | |
| VarOrder<L extends ILits> | |
| VarOrderHeap<L extends ILits> | |
| VarOrderHeapObjective | |
| VarOrderHeapRsat | Heuristics that remembers the latest assignment if any as proposed in Rsat. |
Various heuristics to select the next variable to branch on.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||