Package org.oristool.analyzer.graph

package org.oristool.analyzer.graph

Provides classes for the representation of state spaces.

Related Packages

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.analyzer.log	Provides logging and monitoring utilities.
org.oristool.analyzer.policy	Enumeration policies for state space exploration.
org.oristool.analyzer.state	Generic state representation.
org.oristool.analyzer.stop	Stop conditions for state space exploration.

Classes

Class	Description
Node	Node of a SuccessionGraph.
SuccessionGraph	A graph of Succession objects.