commonMain.it.unibo.tuprolog.bdd.exception.BinaryDecisionDiagramOperationException.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of bdd-jvm Show documentation

Multi-platform library for representing and manipulating Binary Decision Diagrams

There is a newer version: 1.0.4

package it.unibo.tuprolog.bdd.exception

import kotlin.jvm.JvmOverloads

/**
 * Base class for all exceptions related to Binary Decision Diagrams operations
 *
 * @param message the detail message string.
 * @param cause the cause of this exception.
 */
class BinaryDecisionDiagramOperationException @JvmOverloads constructor(
    message: String?,
    cause: Throwable? = null
) : BinaryDecisionDiagramException(message, cause)