[][src]Module biodivine_lib_bdd::_impl_bdd::_impl_boolean_ops

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

Functions

apply

(internal) Universal function to implement standard logical operators.