Function biodivine_lib_bdd::_impl_bdd::_impl_boolean_ops::apply

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

(internal) Universal function to implement standard logical operators.

The terminal_lookup function takes the two currently considered terminal BDD nodes (none if the node is not terminal) and returns a boolean if these two nodes can be evaluated by the function being implemented. For example, if one of the nodes is false and we are implementing and, we can immediately evaluate to false.