bdd/it.unibo.tuprolog.bdd.exception/BinaryDecisionDiagramOperationException

BinaryDecisionDiagramOperationException

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.

Constructors

BinaryDecisionDiagramOperationException

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

Properties

open override val cause: Throwable? = null

open override val message: String? = null