Structs

A very basic implementation of a State which simply stores a single usize index.

A simple IdState iterator used for graphs where the states are consecutive integers.

Functions

Build a mapping from elements of the given vector to their respective indices.