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