Module biodivine_lib_bdd::_impl_bdd::_impl_boolean_ops

source · [−]
Expand description

(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.