public BDD AsBDD(IBDDAlgebra alg)
{
var res = alg.False;
for (int i = 0; i < intervals.Length; i++)
{
res = res | alg.MkSetFromRange(intervals[i].Item1, intervals[i].Item2, 15);
}
return(res);
}