/// <summary> /// Remove the element from this part. /// </summary> /// <param name="elem">element to be removed</param> public void Remove(int elem) { elems = solver.MkAnd(elems, solver.MkNot(solver.MkSetFrom((uint)elem, maxbit))); }
public CsPred <T> MkNot(CsPred <T> pred) { var bdd = (BDD <T>)NodeAlgebra.MkNot((BDD)pred.pred); return(new CsPred <T>(this, bdd)); }