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

Link copied to clipboard
fun BinaryDecisionDiagramOperationException(message: String?, cause: Throwable? = null)

Properties

Link copied to clipboard
open override val cause: Throwable? = null
Link copied to clipboard
open override val message: String? = null