A B C D E F G H I J L M N O P R S T U V W X

H

Handle<T> - Class in org.sat4j.minisat.core

This class simply holds a reference to a object.

Handle() - Constructor for class org.sat4j.minisat.core.Handle

hashCode() - Method in class org.sat4j.core.Vec

hashCode() - Method in class org.sat4j.core.VecInt

Heap - Class in org.sat4j.minisat.core

Heap(double[]) - Constructor for class org.sat4j.minisat.core.Heap

heapProperty() - Method in class org.sat4j.minisat.core.Heap

heapProperty(int) - Method in class org.sat4j.minisat.core.Heap