Binary Decision Diagram Operation Exception
class BinaryDecisionDiagramOperationException @JvmOverloads constructor(val message: String?, val cause: Throwable? = null) : BinaryDecisionDiagramException
Base class for all exceptions related to Binary Decision Diagrams operations
Parameters
message
the detail message string.
cause
the cause of this exception.