Example #1
0
        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);
        }