Module biodivine_lib_bdd::_impl_bdd::_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.

Functions

check_flip_bounds

(internal) A simple utility method for checking bounds of a flip variable.

ternary_apply