BinaryDecisionDiagramOperationException

fun BinaryDecisionDiagramOperationException(message: String?, cause: Throwable? = null)

Parameters

message

the detail message string.

cause

the cause of this exception.