Uses of Class
org.sat4j.minisat.core.Heap

Packages that use Heap

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

Uses of Heap in org.sat4j.minisat.orders

Fields in org.sat4j.minisat.orders declared as Heap

Modifier and Type	Field and Description
protected Heap	VarOrderHeap.heap