BinaryDecisionDiagramException
open class BinaryDecisionDiagramException @JvmOverloads constructor(val message: String? = null, val cause: Throwable? = null) : RuntimeException
Base class for all exceptions related to Binary Decision Diagrams. Currently, BinaryDecisionDiagramOperationException is the only subclass raised by the :bdd module itself; this open class exists so that callers wishing to catch any BDD-related failure (including ones possibly introduced by future subclasses) can catch this common supertype instead.
Parameters
message
the detail message string.
cause
the cause of this exception.