úΰ“     None$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)  !"#$% & '       !"#$% & ' NoneVariable with given parity None>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 (   (None   None )      !"#$%%&'()*+, obdd-0.2.3 OBDD.Data OBDD.MakeOBDD.Operation OBDD.PropertyOBDDNodeBranchLeaftopsizenumber_of_modelsaccess satisfiablenull some_model all_modelsmakecachedregisterconstantunit&&||andornotunarybinary exists_manyexists instantiatecountercachecoreicorenextIndexunIndexemptycount select_onefreshcomp