public void Test()
        {
            Solver solver = new Solver(-1000, 1000);
            IntVar i0     = new IntVar(solver, 0, 10);
            IntVar i1     = new IntVar(solver, 10, 20);
            IntVar i2     = new IntVar(solver, 20, 30);
            IntVar s      = new IntVar(solver, 30, 60);

            IntVarList    list = new IntVarList(solver, new IntVar[] { i0, i1, i2 });
            IntVarListSum sum  = list.Sum();

            solver.Add(sum);
            solver.Propagate();

            Assert.AreEqual(s.Domain, sum.Var0.Domain);
        }
Exemple #2
0
        static void Test1()
        {
            Solver        solver = new Solver(0, 100);
            IntVar        a      = new IntVar(solver, 0, 10);
            IntVar        b      = new IntVar(solver, 0, 10);
            IntVar        c      = new IntVar(solver, 0, 10);
            IntVarList    l      = new IntVarList(a, b, c);
            IntVarListSum sum    = l.Sum();

            solver.Add(sum);
            solver.Propagate();

            sum.Var0.Value = 6;

            a.Value = 1;
            b.Value = 2;
        }