BinaryDecisionDiagramOperationException

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

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
Link copied to clipboard
@JvmOverloads()
fun BinaryDecisionDiagramOperationException(message: String?, 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.