- hashBinarySearch(Object[], Object) - Static method in class kodkod.util.collections.Containers
-
Searches the specified array for the specified object using the binary search algorithm
and object equality.
- hashCode() - Method in class kodkod.ast.IntConstant
-
Return this.value
- hashCode() - Method in class kodkod.engine.bool.BooleanVariable
-
Returns a hashcode for this variable.
- hashCode() - Method in class kodkod.engine.bool.ITEGate
-
Returns the hashcode for this if-then-else gate.
- hashCode() - Method in class kodkod.engine.bool.MultiGate
-
Returns a hashcode for this gate.
- hashCode() - Method in class kodkod.engine.bool.NotGate
-
Returns a hashcode for this inverter.
- hashCode() - Method in class kodkod.engine.satlab.Clause
-
Returns the hashcode for this clause.
- hashCode() - Method in class kodkod.instance.Tuple
-
Returns a hash code based on the tuple's arity, index, and the hash code
of its universe, so that the general contract of Object.hashCode is obeyed.
- hashCode() - Method in class kodkod.instance.TupleSet
- hashCode() - Method in class kodkod.util.collections.FixedMap
-
Returns the hash code value for this map.
- hashCode() - Method in class kodkod.util.collections.IdentityHashSet
-
Returns the hash code value for this set.
- hashCode() - Method in class kodkod.util.collections.SingletonIdentitySet
-
Returns 0 if this.element is null; otherwise returns this.element.hashCode().
- hashCode() - Method in class kodkod.util.collections.Stack
-
Returns the hashcode for this stack.
- hashCode() - Method in class kodkod.util.ints.AbstractIntSet
-
Returns the hash code value for this set.
- hashCode() - Method in class kodkod.util.ints.AbstractIntVector
-
Returns the hash code value for this vector.
- hashCode() - Method in class kodkod.util.ints.AbstractSparseSequence
-
Returns the hash code value for this sparse sequence.
- hashCode() - Method in class kodkod.util.ints.ArrayIntSet
-
Returns the hash code value for this set.
- hashCode() - Method in interface kodkod.util.ints.IndexedEntry
-
Returns the hash code value for this indexed entry.
- hashCode() - Method in class kodkod.util.ints.IntRange
-
Returns the hash code for this int range.
- hashCode() - Method in interface kodkod.util.ints.IntSet
-
Returns the hash code value for this set.
- hashCode() - Method in interface kodkod.util.ints.IntVector
-
Returns the hash code value for this vector.
- hashCode() - Method in interface kodkod.util.ints.SparseSequence
-
Returns the hash code value for this sparse sequence.
- hashComparator() - Static method in class kodkod.util.collections.Containers
-
Returns a comparator that compares objects according to their
hashcodes.
- hashSort(T[]) - Static method in class kodkod.util.collections.Containers
-
- hasNext() - Method in interface kodkod.util.ints.IntIterator
-
Returns true if this iteration has more elements.
- HigherOrderDeclException - Exception in kodkod.engine.fol2sat
-
Thrown when a node contains a higher order declaration that cannot
be skolemized, or it can be skolemized but skolemization is disabled.
- highLevelCore() - Method in class kodkod.engine.Proof
-
Returns a map whose key set is the unsatisfiable subset of the top-level conjunctions of this.log.formula
as given by
this.core().
- HomogenousSequence<V> - Class in kodkod.util.ints
-
A sparse sequence implementation based on an
IntSet.
- HomogenousSequence(V) - Constructor for class kodkod.util.ints.HomogenousSequence
-
Constructs a new homogenous sequence for the given value, backed
by a
IntTreeSet instance.
- HomogenousSequence(V, IntSet) - Constructor for class kodkod.util.ints.HomogenousSequence
-
Constructs a new homogenous sequence for the given value, backed
by the specified intset.
- HomogenousSequence(SparseSequence<? extends V>) - Constructor for class kodkod.util.ints.HomogenousSequence
-
Constructs a new homogeneous sequence from the provided sequence.
- HybridStrategy - Class in kodkod.engine.ucore
-
A hybrid strategy for generating unsat cores that are minimal when mapped
back onto the logic level.
- HybridStrategy(TranslationLog) - Constructor for class kodkod.engine.ucore.HybridStrategy
-
Constructs a hybrid strategy that will use the given translation
log to relate the cnf clauses back to the logic constraints from
which they were generated.