//Part(BvSet set, BvSetSolver solver, int maxbit) //{ // this.elems = set; // this.solver = solver; // this.maxbit = maxbit; //} /// <summary> /// Add the element to this part. /// </summary> /// <param name="elem">element to be added</param> public void Add(int elem) { elems = solver.MkOr(elems, solver.MkSetFrom((uint)elem, maxbit)); }
/// <summary> /// Constructs a new part with the given single element. /// </summary> internal Part(int element, BDDAlgebra solver, int maxbit) { this.solver = solver; this.maxbit = maxbit; elems = solver.MkSetFrom((uint)element, maxbit); }