DotNet Reference
DotNet Reference
IntegerExpressions.cs
static long GetVarValueMap(LinearExpr e, long initial_coeff, Dictionary< IntVar, long > dict)
Definition: IntegerExpressions.cs:234
IntVar(CpModelProto model, Domain domain, string name)
Definition: IntegerExpressions.cs:499
SumArray(IEnumerable< IntVar > vars, IEnumerable< long > coeffs)
Definition: IntegerExpressions.cs:400
override string ShortString()
Definition: IntegerExpressions.cs:536
Definition: Domain.cs:17
BoundedLinearExpression(LinearExpr left, LinearExpr right, bool equality)
Definition: IntegerExpressions.cs:627
SumArray(IEnumerable< LinearExpr > exprs)
Definition: IntegerExpressions.cs:379
override string ToString()
Definition: CpModel.pb.cs:352
List< LinearExpr > Expressions
Definition: IntegerExpressions.cs:463
SumArray(IEnumerable< IntVar > vars)
Definition: IntegerExpressions.cs:385
static BoundedLinearExpression operator<(BoundedLinearExpression a, long v)
Definition: IntegerExpressions.cs:699
static LinearExpr ScalProd(IEnumerable< IntVar > vars, IEnumerable< long > coeffs)
Definition: IntegerExpressions.cs:67
static BoundedLinearExpression operator<(LinearExpr a, long v)
Definition: IntegerExpressions.cs:187
static LinearExpr Sum(IEnumerable< IntVar > vars)
Definition: IntegerExpressions.cs:52
Definition: SatHelper.cs:15
ProductCst(LinearExpr e, long v)
Definition: IntegerExpressions.cs:341
ILiteral Not()
static BoundedLinearExpression operator!=(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:142
static LinearExpr operator-(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:107
static LinearExpr ScalProd(IEnumerable< IntVar > vars, IEnumerable< int > coeffs)
Definition: IntegerExpressions.cs:62
static LinearExpr operator*(LinearExpr a, long v)
Definition: IntegerExpressions.cs:122
static BoundedLinearExpression operator>(BoundedLinearExpression a, long v)
Definition: IntegerExpressions.cs:721
static BoundedLinearExpression operator>=(BoundedLinearExpression a, long v)
Definition: IntegerExpressions.cs:710
override string ShortString()
Definition: IntegerExpressions.cs:472
Definition: algorithms/Int64Vector.cs:11
override int GetIndex()
Definition: IntegerExpressions.cs:584
void AddExpr(LinearExpr expr)
Definition: IntegerExpressions.cs:454
override string ShortString()
Definition: IntegerExpressions.cs:599
static LinearExpr Sum(this IntVar[] vars)
Definition: IntegerExpressions.cs:26
pbc::RepeatedField< global::Google.OrTools.Sat.IntegerVariableProto > Variables
The associated Protos should be referred by their index in these fields.
Definition: CpModel.pb.cs:5726
static LinearExpr Prod(LinearExpr e, long v)
Definition: IntegerExpressions.cs:217
static BoundedLinearExpression operator==(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:137
SumArray(IntVar[] vars, long[] coeffs)
Definition: IntegerExpressions.cs:391
static BoundedLinearExpression operator>=(LinearExpr a, long v)
Definition: IntegerExpressions.cs:157
static BoundedLinearExpression operator>(LinearExpr a, long v)
Definition: IntegerExpressions.cs:167
static LinearExpr ScalProd(this IntVar[] vars, long[] coeffs)
Definition: IntegerExpressions.cs:36
BoundedLinearExpression(long lb, LinearExpr expr, long ub)
Definition: IntegerExpressions.cs:618
static LinearExpr ScalProd(this IntVar[] vars, int[] coeffs)
Definition: IntegerExpressions.cs:31
SumArray(IEnumerable< IntVar > vars, IEnumerable< int > coeffs)
Definition: IntegerExpressions.cs:427
override string ToString()
Definition: IntegerExpressions.cs:669
NotBooleanVariable(IntVar boolvar)
Definition: IntegerExpressions.cs:579
Definition: algorithms/Int64Vector.cs:11
static LinearExpr Sum(IEnumerable< LinearExpr > exprs)
Definition: IntegerExpressions.cs:57
static BoundedLinearExpression operator<=(LinearExpr a, long v)
Definition: IntegerExpressions.cs:177
static BoundedLinearExpression operator<=(BoundedLinearExpression a, long v)
Definition: IntegerExpressions.cs:688
BoundedLinearExpression(LinearExpr left, long v, bool equality)
Definition: IntegerExpressions.cs:637
static Domain VariableDomain(Google.OrTools.Sat.IntegerVariableProto variable_proto)
Definition: SatHelper.cs:124
LinearExpr Right
Definition: IntegerExpressions.cs:738
Definition: Domain.cs:11
static LinearExpr operator+(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:92
virtual string ShortString()
Definition: IntegerExpressions.cs:87
int GetIndex()
pbc::RepeatedField< long > Domain
The variable domain given as a sorted list of n disjoint intervals [min, max] and encoded as [min_0,...
Definition: CpModel.pb.cs:318
SumArray(LinearExpr a, long b)
Definition: IntegerExpressions.cs:372
static LinearExpr Term(IntVar var, long coeff)
Definition: IntegerExpressions.cs:72
SumArray(LinearExpr a, LinearExpr b)
Definition: IntegerExpressions.cs:364
Definition: CpModel.pb.cs:12