|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use kodkod.util.ints | |
---|---|
kodkod.engine.bool | Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. |
kodkod.engine.config | Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. |
kodkod.engine.fol2sat | Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options. |
kodkod.engine.satlab | Provides access to various Java and C++ SAT solvers through a common SAT Solver interface. |
kodkod.engine.ucore | Contains strategies for minimizing unsatisfiable cores generated by SAT provers. |
kodkod.instance | Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms. |
kodkod.util.ints | Provides implementations of ordered collections for storing integer primitives. |
Classes in kodkod.util.ints used by kodkod.engine.bool | |
---|---|
IndexedEntry
An entry in a sparse sequence . |
|
IntSet
An ordered set of integers. |
Classes in kodkod.util.ints used by kodkod.engine.config | |
---|---|
IntRange
Represents a range of integers, [min..max]. |
Classes in kodkod.util.ints used by kodkod.engine.fol2sat | |
---|---|
IntSet
An ordered set of integers. |
Classes in kodkod.util.ints used by kodkod.engine.satlab | |
---|---|
IntIterator
An iterator over integer primitives. |
|
IntSet
An ordered set of integers. |
Classes in kodkod.util.ints used by kodkod.engine.ucore | |
---|---|
IntSet
An ordered set of integers. |
Classes in kodkod.util.ints used by kodkod.instance | |
---|---|
IntSet
An ordered set of integers. |
|
SparseSequence
Represents a sparse sequence -- a sequence whose indices are not necessarily contiguous. |
Classes in kodkod.util.ints used by kodkod.util.ints | |
---|---|
AbstractIntCollection
A skeletal implementation of the IntCollection interface. |
|
AbstractIntSet
A skeletal implementation of the IntSet interface. |
|
AbstractIntVector
A skeletal implementation of the IntVector interface. |
|
AbstractSparseSequence
A skeletal implementation of the SparseSequence interface. |
|
ArraySequence
An implementation of a sparse sequence based on an array. |
|
HomogenousSequence
A sparse sequence implementation based on an IntSet . |
|
IndexedEntry
An entry in a sparse sequence . |
|
IntBitSet
An implementation of the IntSet interface based on a bit map. |
|
IntCollection
The root interface in the int collection hierarchy. |
|
IntIterator
An iterator over integer primitives. |
|
IntRange
Represents a range of integers, [min..max]. |
|
IntSet
An ordered set of integers. |
|
IntTreeSet
An implementation of the IntTreeSet interface based on a balanced binary search tree. |
|
IntVector
A resizable array of integers. |
|
RangeSequence
A tree-based sparse sequence implementation. |
|
SparseSequence
Represents a sparse sequence -- a sequence whose indices are not necessarily contiguous. |
|
TreeSequence
An implementation of a sparse sequence based on a balanced binary search tree. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |