Exemplo n.º 1
0
        // count of all vars.
        public static Constraint Count(this IntVar[] vars,
                                       long value,
                                       IntExpr count)
        {
            Solver solver = GetSolver(vars);

            return(solver.MakeCount(vars, value, count.Var()));
        }
Exemplo n.º 2
0
 public static IntExpr Element(this long[] array, IntExpr index)
 {
     return(index.solver().MakeElement(array, index.Var()));
 }