BinaryDecisionDiagramException

open class BinaryDecisionDiagramException @JvmOverloads() constructor(message: String?, cause: Throwable?) : RuntimeException
Content copied to clipboard

Base class for all exceptions related to Binary Decision Diagrams

Parameters

message

the detail message string.

cause

the cause of this exception.

Constructors

BinaryDecisionDiagramException
Link copied to clipboard
@JvmOverloads()
fun BinaryDecisionDiagramException(message: String? = null, cause: Throwable? = null)
Content copied to clipboard
the detail message string.

Properties

cause
Link copied to clipboard
open override val cause: Throwable? = null
Content copied to clipboard
the cause of this exception.
message
Link copied to clipboard
open override val message: String? = null
Content copied to clipboard
the detail message string.

Inheritors

BinaryDecisionDiagramOperationException
Link copied to clipboard