Package | Description |
---|---|
org.sat4j.minisat.orders | |
org.sat4j.pb.orders |
Modifier and Type | Class and Description |
---|---|
class |
PureOrder |
class |
SubsetVarOrder |
Constructor and Description |
---|
RandomWalkDecorator(VarOrderHeap order) |
RandomWalkDecorator(VarOrderHeap order,
double p) |
TabuListDecorator(VarOrderHeap order) |
TabuListDecorator(VarOrderHeap order,
int tabuSize) |
Modifier and Type | Class and Description |
---|---|
class |
VarOrderHeapObjective |