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

BinaryDecisionDiagramException

open class BinaryDecisionDiagramException @JvmOverloads constructor(val message: String? = null, val cause: Throwable? = null) : RuntimeException

Base class for all exceptions related to Binary Decision Diagrams

Parameters

message

the detail message string.

cause

the cause of this exception.

Constructors

BinaryDecisionDiagramException

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

Properties

open override val cause: Throwable? = null

open override val message: String? = null

Inheritors

BinaryDecisionDiagramOperationException