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