|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Indexer | |
---|---|
kodkod.util.collections | Contains specialized collections, such as a set that provides methods for retrieving elements with a particular hashcode. |
Uses of Indexer in kodkod.util.collections |
---|
Classes in kodkod.util.collections that implement Indexer | |
---|---|
class |
FixedMap<K,V>
A map with a fixed set of keys that acts as an indexer, assigning a unique integer in the range [0..#keys) to each key. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |