Package-level declarations

Base class for all exceptions related to Binary Decision Diagrams. Currently, BinaryDecisionDiagramOperationException is the only subclass raised by the :bdd module itself; this open class exists so that callers wishing to catch any BDD-related failure (including ones possibly introduced by future subclasses) can catch this common supertype instead.

Thrown when a BinaryDecisionDiagram operation fails. Every operator and utility function in the :bdd module (e.g. apply, and, or, not, expansion, map, any, toDotString, countVariableNodes) wraps its internal computation and rethrows any failure as an instance of this class, so callers only need to catch a single exception type regardless of what went wrong internally (including exceptions thrown by user-supplied lambdas, such as the operator/predicate/mapper callbacks passed to those functions). The original failure is always available via cause.