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

H

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

hashCode() - Method in class org.sat4j.minisat.constraints.card.MinWatchCard

hashCode() - Method in class org.sat4j.minisat.constraints.cnf.WLClause

hasNext() - Method in interface org.sat4j.specs.IteratorInt

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

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

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

If the optimization problem has no objective function, then it is a simple decision problem.

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