rwth.i2.ltlrv.afastate.interfaze
Class IAFAState.ValidationException
java.lang.Object
java.lang.Throwable
java.lang.Exception
rwth.i2.ltlrv.afastate.interfaze.IAFAState.ValidationException
- All Implemented Interfaces:
- Serializable
- Enclosing interface:
- IAFAState
public static class IAFAState.ValidationException
- extends Exception
ValidationException - Exception that is thrown on validation of a formula.
- Author:
- Eric Bodden
- See Also:
- Serialized Form
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
IAFAState.ValidationException
public IAFAState.ValidationException(String variableName,
IAFAState subformula)
- Parameters:
variableName
- name of potentially unbound variablesubformula
- subformulae in where variableName
is potentially unbound