bdd_new/4¶

bdd_new(? Exp, +Vars, - BddHandle)*

Same as bdd_new//22, but receives a term of the form vs(V1,....,Vn). This allows incremental construction of BDDs.