Uses of Class
org.sat4j.minisat.orders.VarOrderHeap

Packages that use VarOrderHeap

org.sat4j.minisat.orders	Various heuristics to select the next variable to branch on.
org.sat4j.pb.orders

Uses of VarOrderHeap in org.sat4j.minisat.orders

Subclasses of VarOrderHeap in org.sat4j.minisat.orders

class

PureOrder

Constructors in org.sat4j.minisat.orders with parameters of type VarOrderHeap

RandomWalkDecorator(VarOrderHeap order)

RandomWalkDecorator(VarOrderHeap order, double p)

Uses of VarOrderHeap in org.sat4j.pb.orders

Subclasses of VarOrderHeap in org.sat4j.pb.orders

class

VarOrderHeapObjective