Binary Decision Diagram Operation Exception
fun BinaryDecisionDiagramOperationException(message: String?, cause: Throwable? = null)
Content copied to clipboard
Parameters
message
the detail message string.
cause
the cause of this exception.