BinaryDecisionDiagramException

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

Parameters

message

the detail message string.

cause

the cause of this exception.