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	Various heuristics for the next variable to branch on.

Uses of VarOrderHeap in org.sat4j.minisat.orders

Subclasses of VarOrderHeap in org.sat4j.minisat.orders

class	PureOrder
class	SubsetVarOrder

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

RandomWalkDecorator(VarOrderHeap order)

RandomWalkDecorator(VarOrderHeap order, double p)

TabuListDecorator(VarOrderHeap order)

TabuListDecorator(VarOrderHeap order, int tabuSize)

Uses of VarOrderHeap in org.sat4j.pb.orders

Subclasses of VarOrderHeap in org.sat4j.pb.orders

class

VarOrderHeapObjective