Package it.unibo.tuprolog.bdd.exception

Types

BinaryDecisionDiagramException
Link copied to clipboard
open class BinaryDecisionDiagramException @JvmOverloads() constructor(message: String?, cause: Throwable?) : RuntimeException
Content copied to clipboard
Base class for all exceptions related to Binary Decision Diagrams
BinaryDecisionDiagramOperationException
Link copied to clipboard
class BinaryDecisionDiagramOperationException @JvmOverloads() constructor(message: String?, cause: Throwable?) : BinaryDecisionDiagramException
Content copied to clipboard
Base class for all exceptions related to Binary Decision Diagrams operations