|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use VarOrderHeapObjective | |
---|---|
org.sat4j.pb.orders | Various heuristics for the next variable to branch on. |
Uses of VarOrderHeapObjective in org.sat4j.pb.orders |
---|
Constructors in org.sat4j.pb.orders with parameters of type VarOrderHeapObjective | |
---|---|
RandomWalkDecoratorObjective(VarOrderHeapObjective order,
double p)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |