Package org.oristool.analyzer.state

package org.oristool.analyzer.state

Generic state representation.

Related Packages

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

Class	Description
LocalStop	State feature tagging states where a local stop criterion was applied.
State	A state collecting data as features.
StateBuilder<D>	Builds a full state representation from a discrete summary.
StateFeature	Generic interface for the features allowed on a State.