DotNet Reference
.Net Reference
IntegerExpressions.cs
Go to the documentation of this file.
235 public static long GetVarValueMap(LinearExpr e, long initial_coeff, Dictionary<IntVar, long> dict)
331 throw new ArgumentException("Cannot interpret '" + expr.ToString() + "' in an integer expression");
416 throw new ArgumentException("in SumArray(vars, coeffs), the two lists do not have the same length");
442 throw new ArgumentException("in SumArray(vars, coeffs), the two lists do not have the same length");
static BoundedLinearExpression operator<=(BoundedLinearExpression a, long v)
Definition: IntegerExpressions.cs:699
LinearExpr Right
Definition: IntegerExpressions.cs:743
BoundedLinearExpression(long lb, LinearExpr expr, long ub)
Definition: IntegerExpressions.cs:630
BoundedLinearExpression(LinearExpr left, LinearExpr right, bool equality)
Definition: IntegerExpressions.cs:639
BoundedLinearExpression(LinearExpr left, long v, bool equality)
Definition: IntegerExpressions.cs:648
static BoundedLinearExpression operator<(BoundedLinearExpression a, long v)
Definition: IntegerExpressions.cs:708
static BoundedLinearExpression operator>(BoundedLinearExpression a, long v)
Definition: IntegerExpressions.cs:726
override string ToString()
Definition: IntegerExpressions.cs:680
static BoundedLinearExpression operator>=(BoundedLinearExpression a, long v)
Definition: IntegerExpressions.cs:717
static LinearExpr ScalProd(this IntVar[] vars, long[] coeffs)
Definition: IntegerExpressions.cs:36
static LinearExpr Sum(this IntVar[] vars)
Definition: IntegerExpressions.cs:26
static LinearExpr ScalProd(this IntVar[] vars, int[] coeffs)
Definition: IntegerExpressions.cs:31
IntVar(CpModelProto model, Domain domain, string name)
Definition: IntegerExpressions.cs:504
override string ShortString()
Definition: IntegerExpressions.cs:549
virtual string ShortString()
Definition: IntegerExpressions.cs:88
static LinearExpr operator*(LinearExpr a, long v)
Definition: IntegerExpressions.cs:123
static LinearExpr Term(IntVar var, long coeff)
Definition: IntegerExpressions.cs:71
static LinearExpr Sum(IEnumerable< LinearExpr > exprs)
Definition: IntegerExpressions.cs:56
static BoundedLinearExpression operator<(LinearExpr a, long v)
Definition: IntegerExpressions.cs:188
static BoundedLinearExpression operator==(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:138
static BoundedLinearExpression operator>(LinearExpr a, long v)
Definition: IntegerExpressions.cs:168
static BoundedLinearExpression operator>=(LinearExpr a, long v)
Definition: IntegerExpressions.cs:158
static BoundedLinearExpression operator<=(LinearExpr a, long v)
Definition: IntegerExpressions.cs:178
static LinearExpr Prod(LinearExpr e, long v)
Definition: IntegerExpressions.cs:218
static LinearExpr ScalProd(IEnumerable< IntVar > vars, IEnumerable< long > coeffs)
Definition: IntegerExpressions.cs:66
static LinearExpr ScalProd(IEnumerable< IntVar > vars, IEnumerable< int > coeffs)
Definition: IntegerExpressions.cs:61
static LinearExpr operator+(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:93
static BoundedLinearExpression operator<(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:213
static BoundedLinearExpression operator>(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:203
static BoundedLinearExpression operator<(long v, LinearExpr a)
Definition: IntegerExpressions.cs:193
static long GetVarValueMap(LinearExpr e, long initial_coeff, Dictionary< IntVar, long > dict)
Definition: IntegerExpressions.cs:235
static BoundedLinearExpression operator>(long v, LinearExpr a)
Definition: IntegerExpressions.cs:173
static LinearExpr Sum(IEnumerable< IntVar > vars)
Definition: IntegerExpressions.cs:51
static BoundedLinearExpression operator!=(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:143
static LinearExpr operator-(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:108
NotBooleanVariable(IntVar boolvar)
Definition: IntegerExpressions.cs:591
override int GetIndex()
Definition: IntegerExpressions.cs:596
override string ShortString()
Definition: IntegerExpressions.cs:611
ProductCst(LinearExpr e, long v)
Definition: IntegerExpressions.cs:340
SumArray(LinearExpr a, long b)
Definition: IntegerExpressions.cs:374
SumArray(IEnumerable< IntVar > vars, IEnumerable< long > coeffs)
Definition: IntegerExpressions.cs:402
void AddExpr(LinearExpr expr)
Definition: IntegerExpressions.cs:454
SumArray(IEnumerable< IntVar > vars)
Definition: IntegerExpressions.cs:387
List< LinearExpr > Expressions
Definition: IntegerExpressions.cs:463
SumArray(IEnumerable< IntVar > vars, IEnumerable< int > coeffs)
Definition: IntegerExpressions.cs:428
SumArray(IntVar[] vars, long[] coeffs)
Definition: IntegerExpressions.cs:393
override string ShortString()
Definition: IntegerExpressions.cs:476
SumArray(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:366
SumArray(IEnumerable< LinearExpr > exprs)
Definition: IntegerExpressions.cs:381
int GetIndex()
ILiteral Not()
Definition: Constraints.cs:15
Definition: IntArrayHelper.cs:15
Definition: IntArrayHelper.cs:15