Function biodivine_lib_bdd::_impl_bdd::_impl_boolean_ops::apply

pub(in _impl_bdd::_impl_boolean_ops) fn apply<T>(
    left: &Bdd, 
    right: &Bdd, 
    terminal_lookup: T
) -> Bdd where
    T: Fn(Option<bool>, Option<bool>) -> Option<bool>, 

(internal) Shorthand for the more advanced apply which includes variable flipping