public IntVarExprValAddRev(IntVar var0, int val, IntVar var1) :
base(var0, var1, val)
{
}
public ValueEnumerator(IntVar var)
{
m_Index = var.Domain.GetEnumerator();
Reset();
}
public IntVarExprValAddRev(int val, IntVar var1) :
this(new IntVar(var1.Solver), val, var1)
{
}
public IntVarList(IntVar v0) :
this(v0.Solver, new IntVar[] { v0 })
{
}
public IntVarList(IntVar v0, IntVar v1, IntVar v2) :
this(v0.Solver, new IntVar[] { v0, v1, v2 })
{
}
public IntVarListSum Sum(IntVar var)
{
return(new IntVarListSum(var, this));
}
public IntVarListIndex At(IntVar index)
{
return(new IntVarListIndex(this, index));
}
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)
{
}
public IntVarCmpLess(IntVar var0, IntVar var1) :
base(var0, var1)
{
}
public IntVarCmpValEqual(IntVar var0, int val) :
base(var0, val)
{
}