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

hasASingleSolution() - Method in class org.sat4j.tools.SingleSolutionDetector

Please use that method only after a positive answer from isSatisfiable() (else a runtime exception will be launched).

hasASingleSolution(IVecInt) - Method in class org.sat4j.tools.SingleSolutionDetector

Please use that method only after a positive answer from isSatisfiable(assumptions) (else a runtime exception will be launched).

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

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

hasNoObjectiveFunction() - Method in class org.sat4j.opt.MaxSatDecorator

hasNoObjectiveFunction() - Method in class org.sat4j.opt.MinCostDecorator

hasNoObjectiveFunction() - Method in class org.sat4j.opt.MinOneDecorator

hasNoObjectiveFunction() - Method in class org.sat4j.opt.PseudoOptDecorator

hasNoObjectiveFunction() - Method in class org.sat4j.opt.WeightedMaxSatDecorator

hasNoObjectiveFunction() - Method in interface org.sat4j.specs.IOptimizationProblem

Heap - Class in org.sat4j.minisat.core

Heap implementation used to maintain the variables order in some heuristics.

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