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

Constructor Summary

IAFAState.ValidationException(String variableName, IAFAState subformula)

Method Summary

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

IAFAState.ValidationException

public IAFAState.ValidationException(String variableName,
                                     IAFAState subformula)

Parameters:

variableName - name of potentially unbound variable

subformula - subformulae in where variableName is potentially unbound