Package net.automatalib.exception

Exception Summary

Exception	Description
GrowingAlphabetNotSupportedException	An exception to be thrown when functionality revolving around GrowingAlphabet.addSymbol(Object) is accessed (e.g. by trying to add an alphabet symbol to an automaton) but the given data structure was not properly set up (e.g.
ModelCheckingException	An Exception that may occur during model checking.
UndefinedPropertyAccessException	This specialized exception can be thrown if during the traversal of an automaton or transition system an undefined property (e.g. a state or a transition output) is accessed, that is otherwise required for returning a valid result.