Package org.oristool.analyzer.policy

package org.oristool.analyzer.policy

Enumeration policies for state space exploration.

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.state	Generic state representation.
org.oristool.analyzer.stop	Stop conditions for state space exploration.

Class	Description
EnumerationPolicy	Enumeration policy to select the next state to expand.
FIFOPolicy	FIFO enumeration policy.
LIFOPolicy	LIFO enumeration policy.
PriorityPolicy	Priority enumeration policy.