|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
JWOrder | |
MyOrder | |
PureOrder | |
VarOrder | |
VarOrderHeap | |
VarOrderHeapObjective |
Various heuristics to select the next variable to branch on.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |