Uses of Interface
kodkod.util.collections.Indexer

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.