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.
|
Copyright © 2020. All rights reserved.