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_util	(internal) Implementation of some basic internal utility methods for Bdds.