var_boolean_function

oxidd_rules_zbdd

Function var_boolean_function 

Source 
pub fn var_boolean_function<M>(
    manager: &M,
    singleton: &M::Edge,
) -> AllocResult<M::Edge>
where
    M: Manager<Terminal = ZBDDTerminal> + HasZBDDCache<M::Edge>,
    M::InnerNode: HasLevel,
👎Deprecated: use BooleanFunction::var instead
Expand description

Get the Boolean function v for the singleton set {v} (given by singleton)

Panics if singleton is not a singleton set