Class InvariantEvaluator.InvariantEvaluationException

java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
com.tnsai.exceptions.TnsAIException
com.tnsai.invariants.InvariantEvaluator.InvariantEvaluationException
All Implemented Interfaces:
Serializable
Enclosing class:
InvariantEvaluator

public static class InvariantEvaluator.InvariantEvaluationException extends com.tnsai.exceptions.TnsAIException
Exception thrown when evaluation fails.
See Also:
  • Constructor Details

    • InvariantEvaluationException

      public InvariantEvaluationException(String message)
    • InvariantEvaluationException

      public InvariantEvaluationException(String message, Throwable cause)