Package org.oristool.analyzer.graph

Provides classes for the representation of state spaces.