Module dev.civl.gmc

Package dev.civl.gmc

Class StateSpaceCycleException

java.lang.Object

java.lang.Throwable

java.lang.Exception

dev.civl.gmc.StateSpaceCycleException

All Implemented Interfaces:

Serializable

public class StateSpaceCycleException
extends Exception

This is the Exception that will be thrown by the DfsSearcher if and only if 1) a cycle in state space detected; and 2) cycle violation is set to be reported.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
StateSpaceCycleException(int stackPos)

Method Summary

Modifier and Type	Method	Description
int	stackPos()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

StateSpaceCycleException

public StateSpaceCycleException(int stackPos)

Method Details

stackPos

public int stackPos()

Returns:

the position in stack of the state where a cycle found