Package software.amazon.smithy.rulesengine.logic.bdd

Class BddEquivalenceChecker.VerificationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

software.amazon.smithy.rulesengine.logic.bdd.BddEquivalenceChecker.VerificationException

All Implemented Interfaces:

Serializable

Enclosing class:

BddEquivalenceChecker

public static class BddEquivalenceChecker.VerificationException
extends RuntimeException

Exception thrown when verification fails.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
VerificationException(String message)

Method Summary

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Details

VerificationException

public VerificationException(String message)