Package org.oristool.analyzer.policy

Enumeration policies for state space exploration.