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.

Inheritors

Constructors

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

Properties

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