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

Packages that use VarOrderHeap

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

Modifier and Type	Class and Description
class	PureOrder
class	SubsetVarOrder

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

Constructor and Description
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

Modifier and Type	Class and Description
class	VarOrderHeapObjective