Module biodivine_lib_bdd::_impl_bdd

(internal) Implementations for the Bdd struct.

Modules

_impl_boolean_ops

(internal) Implementation of basic logical operators for Bdds using the apply function.

_impl_export_dot

(internal) Simple export functions for printing Bdds as .dot files.

_impl_relation_ops

(internal) Implementation of extra operations which enable relation-like treatment of BDDs (quantification, selection, projection, partial element picking)

_impl_serialisation

(internal) Implementation of the string and byte serialisation procedures for Bdds.

_impl_ternary_ops

(internal) Implementation of a generic ternary operations. These may be faster for certain special cases, e.g. when the intermediate result is expected to be large, but the final result is typically small or empty.

_impl_util

(internal) Implementation of some basic internal utility methods for Bdds.

_impl_valuation_utils

(internal) Implementation of some utility methods for extracting interesting valuations and paths from a Bdd.