Esempio 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()));
        }
Esempio n. 2
0
 public IntExprEquality(IntExpr a, IntExpr b, bool equality)
 {
     this.left_     = a;
     this.right_    = b;
     this.equality_ = equality;
 }
Esempio n. 3
0
 public static IntExpr Element(this long[] array, IntExpr index)
 {
     return(index.solver().MakeElement(array, index.Var()));
 }
Esempio n. 4
0
 public IntExprEquality(IntExpr a, IntExpr b, bool equality)
 {
   this.left_ = a;
   this.right_ = b;
   this.equality_ = equality;
 }