Uses of Class
dev.civl.gmc.StateSpaceCycleException

Packages that use StateSpaceCycleException

Package	Description
dev.civl.gmc.dpor
dev.civl.gmc.seq	This package provides sequential generic model checking functionality.

Uses of StateSpaceCycleException in dev.civl.gmc.dpor

Methods in dev.civl.gmc.dpor that throw StateSpaceCycleException

Modifier and Type	Method	Description
boolean	DporDfsSearcher.explore(STATE initialState)	Explore the state space starting at initialState using DPOR.

Uses of StateSpaceCycleException in dev.civl.gmc.seq

Methods in dev.civl.gmc.seq that throw StateSpaceCycleException

Modifier and Type	Method	Description
boolean	DfsSearcher.proceedToNewState()	Proceeds with the search until we arrive at a state that has not been seen before (assuming there is one).
boolean	DfsSearcher.search()	Resumes a depth-first search of the state space starting from the current state.
boolean	DfsSearcher.search(STATE initialState)	Performs a depth-first search starting from the given state.