Module biodivine_lib_bdd::_impl_bdd::_impl_boolean_ops

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

Functions

apply	(internal) Shorthand for the more advanced apply which includes variable flipping
apply_with_flip	(internal) Universal function to implement standard logical operators.
check_flip_bounds	(internal) A simple utility method for checking bounds of a flip variable.