public IntVarExprValAddRev(IntVar var0, int val, IntVar var1) :
     base(var0, var1, val)
 {
 }
Exemple #2
0
            public ValueEnumerator(IntVar var)
            {
                m_Index = var.Domain.GetEnumerator();

                Reset();
            }
 public IntVarExprValAddRev(int val, IntVar var1) :
     this(new IntVar(var1.Solver), val, var1)
 {
 }
Exemple #4
0
 public IntVarList(IntVar v0) :
     this(v0.Solver, new IntVar[] { v0 })
 {
 }
Exemple #5
0
 public IntVarList(IntVar v0, IntVar v1, IntVar v2) :
     this(v0.Solver, new IntVar[] { v0, v1, v2 })
 {
 }
Exemple #6
0
 public IntVarListSum Sum(IntVar var)
 {
     return(new IntVarListSum(var, this));
 }
Exemple #7
0
 public IntVarListIndex At(IntVar index)
 {
     return(new IntVarListIndex(this, index));
 }
Exemple #8
0
 public IntVarCmpEqual(IntVar var0, IntVar var1) :
     base(var0, var1)
 {
 }
 public IntVarExprValDiv(IntVar var0, IntVar var1, int val) :
     base(var0, var1, val)
 {
 }
 public IntVarExprValDiv(IntVar var1, int val) :
     this(new IntVar(var1.Solver), var1, val)
 {
 }
Exemple #11
0
 public IntVarCmpLess(IntVar var0, IntVar var1) :
     base(var0, var1)
 {
 }
 public IntVarCmpValEqual(IntVar var0, int val) :
     base(var0, val)
 {
 }