úÎÅÏ     $assumes total ordering on variables number of assignments  inputs and output for binary op % (unary will be simulated by binary) !?Number of satisfying assignments with given set of variables. K The set of variables must be given since the current OBDD may not contain W all variables that were used to construct it, since some nodes may have been removed & because they had identical children. "#does the OBDD have any models? #does the OBDD not have any models? 'randomly select one model, if possible Glist of all models (WARNING not using variables that had been deleted) $ %     Variable with given parity  >FIXME this is a silly implementation. Negation should be done # by switching values in Leaves (?) remove variables existentially # TODO: needs better implementation remove variable existentially # TODO: needs better implementation replace variable by value      &      !"#$$%&'()obdd-0.2 OBDD.Data OBDD.MakeOBDD.Operation OBDD.PropertyOBDDNodeBranchLeaftopnumber_of_modelsaccess satisfiablenull some_model all_modelsmakecachedregisterconstantunit&&||andornotunarybinary exists_manyexists instantiatecoreicorecounternextcacheIndexemptycount select_onefresh