Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
H
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
Calls
Arrays.sort(Object[], Comparator)
on the given array and returns it.
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 the unsatisfiable subset of the top-level conjunctions of this.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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z