bdd/it.unibo.tuprolog.bdd.exception/BinaryDecisionDiagramException/BinaryDecisionDiagramException

BinaryDecisionDiagramException

@JvmOverloads
constructor(message: String? = null, cause: Throwable? = null)

Parameters

message

the detail message string.

cause

the cause of this exception.