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.