Uses of Class
org.sat4j.pb.orders.VarOrderHeapObjective

Packages that use VarOrderHeapObjective

Package	Description
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

Constructor and Description
RandomWalkDecoratorObjective(VarOrderHeapObjective order, double p)