bdd/it.unibo.tuprolog.bdd.exception

Package it.unibo.tuprolog.bdd.exception

Types

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

Base class for all exceptions related to Binary Decision Diagrams

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

Base class for all exceptions related to Binary Decision Diagrams operations