/// <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));
}
