DotNet Reference

DotNet Reference

IntVar

Detailed Description

Definition at line 497 of file IntegerExpressions.cs.

Public Member Functions

 IntVar (CpModelProto model, Domain domain, string name)
 
override int GetIndex ()
 
override string ToString ()
 
override string ShortString ()
 
string Name ()
 
ILiteral Not ()
 

Static Public Member Functions

static LinearExpr Sum (IEnumerable< IntVar > vars)
 
static LinearExpr Sum (IEnumerable< LinearExpr > exprs)
 
static LinearExpr ScalProd (IEnumerable< IntVar > vars, IEnumerable< int > coeffs)
 
static LinearExpr ScalProd (IEnumerable< IntVar > vars, IEnumerable< long > coeffs)
 
static LinearExpr Term (IntVar var, long coeff)
 
static LinearExpr operator+ (LinearExpr a, LinearExpr b)
 
static LinearExpr operator+ (LinearExpr a, long v)
 
static LinearExpr operator+ (long v, LinearExpr a)
 
static LinearExpr operator- (LinearExpr a, LinearExpr b)
 
static LinearExpr operator- (LinearExpr a, long v)
 
static LinearExpr operator- (long v, LinearExpr a)
 
static LinearExpr operator- (LinearExpr a)
 
static LinearExpr operator* (LinearExpr a, long v)
 
static LinearExpr operator* (long v, LinearExpr a)
 
static BoundedLinearExpression operator== (LinearExpr a, LinearExpr b)
 
static BoundedLinearExpression operator== (LinearExpr a, long v)
 
static BoundedLinearExpression operator!= (LinearExpr a, LinearExpr b)
 
static BoundedLinearExpression operator!= (LinearExpr a, long v)
 
static BoundedLinearExpression operator>= (LinearExpr a, long v)
 
static BoundedLinearExpression operator>= (long v, LinearExpr a)
 
static BoundedLinearExpression operator>= (LinearExpr a, LinearExpr b)
 
static BoundedLinearExpression operator> (LinearExpr a, long v)
 
static BoundedLinearExpression operator> (long v, LinearExpr a)
 
static BoundedLinearExpression operator> (LinearExpr a, LinearExpr b)
 
static BoundedLinearExpression operator<= (LinearExpr a, long v)
 
static BoundedLinearExpression operator<= (long v, LinearExpr a)
 
static BoundedLinearExpression operator<= (LinearExpr a, LinearExpr b)
 
static BoundedLinearExpression operator< (LinearExpr a, long v)
 
static BoundedLinearExpression operator< (long v, LinearExpr a)
 
static BoundedLinearExpression operator< (LinearExpr a, LinearExpr b)
 
static LinearExpr Prod (LinearExpr e, long v)
 
static long GetVarValueMap (LinearExpr e, long initial_coeff, Dictionary< IntVar, long > dict)
 

Properties

int Index [get]
 
IntegerVariableProto Proto [get, set]
 
Domain Domain [get]
 

Constructor & Destructor Documentation

◆ IntVar()

IntVar ( CpModelProto  model,
Domain  domain,
string  name 
)
inline

Definition at line 499 of file IntegerExpressions.cs.

Member Function Documentation

◆ GetIndex()

override int GetIndex ( )
inline

Implements ILiteral.

Definition at line 515 of file IntegerExpressions.cs.

◆ GetVarValueMap()

static long GetVarValueMap ( LinearExpr  e,
long  initial_coeff,
Dictionary< IntVar, long >  dict 
)
inlinestaticinherited

Definition at line 234 of file IntegerExpressions.cs.

◆ Name()

string Name ( )
inline

Definition at line 548 of file IntegerExpressions.cs.

◆ Not()

ILiteral Not ( )
inline

Implements ILiteral.

Definition at line 553 of file IntegerExpressions.cs.

◆ operator!=() [1/2]

static BoundedLinearExpression operator!= ( LinearExpr  a,
LinearExpr  b 
)
inlinestaticinherited

Definition at line 142 of file IntegerExpressions.cs.

◆ operator!=() [2/2]

static BoundedLinearExpression operator!= ( LinearExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 152 of file IntegerExpressions.cs.

◆ operator*() [1/2]

static LinearExpr operator* ( LinearExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 122 of file IntegerExpressions.cs.

◆ operator*() [2/2]

static LinearExpr operator* ( long  v,
LinearExpr  a 
)
inlinestaticinherited

Definition at line 127 of file IntegerExpressions.cs.

◆ operator+() [1/3]

static LinearExpr operator+ ( LinearExpr  a,
LinearExpr  b 
)
inlinestaticinherited

Definition at line 92 of file IntegerExpressions.cs.

◆ operator+() [2/3]

static LinearExpr operator+ ( LinearExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 97 of file IntegerExpressions.cs.

◆ operator+() [3/3]

static LinearExpr operator+ ( long  v,
LinearExpr  a 
)
inlinestaticinherited

Definition at line 102 of file IntegerExpressions.cs.

◆ operator-() [1/4]

static LinearExpr operator- ( LinearExpr  a)
inlinestaticinherited

Definition at line 132 of file IntegerExpressions.cs.

◆ operator-() [2/4]

static LinearExpr operator- ( LinearExpr  a,
LinearExpr  b 
)
inlinestaticinherited

Definition at line 107 of file IntegerExpressions.cs.

◆ operator-() [3/4]

static LinearExpr operator- ( LinearExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 112 of file IntegerExpressions.cs.

◆ operator-() [4/4]

static LinearExpr operator- ( long  v,
LinearExpr  a 
)
inlinestaticinherited

Definition at line 117 of file IntegerExpressions.cs.

◆ operator<() [1/3]

static BoundedLinearExpression operator< ( LinearExpr  a,
LinearExpr  b 
)
inlinestaticinherited

Definition at line 212 of file IntegerExpressions.cs.

◆ operator<() [2/3]

static BoundedLinearExpression operator< ( LinearExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 187 of file IntegerExpressions.cs.

◆ operator<() [3/3]

static BoundedLinearExpression operator< ( long  v,
LinearExpr  a 
)
inlinestaticinherited

Definition at line 192 of file IntegerExpressions.cs.

◆ operator<=() [1/3]

static BoundedLinearExpression operator<= ( LinearExpr  a,
LinearExpr  b 
)
inlinestaticinherited

Definition at line 207 of file IntegerExpressions.cs.

◆ operator<=() [2/3]

static BoundedLinearExpression operator<= ( LinearExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 177 of file IntegerExpressions.cs.

◆ operator<=() [3/3]

static BoundedLinearExpression operator<= ( long  v,
LinearExpr  a 
)
inlinestaticinherited

Definition at line 182 of file IntegerExpressions.cs.

◆ operator==() [1/2]

static BoundedLinearExpression operator== ( LinearExpr  a,
LinearExpr  b 
)
inlinestaticinherited

Definition at line 137 of file IntegerExpressions.cs.

◆ operator==() [2/2]

static BoundedLinearExpression operator== ( LinearExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 147 of file IntegerExpressions.cs.

◆ operator>() [1/3]

static BoundedLinearExpression operator> ( LinearExpr  a,
LinearExpr  b 
)
inlinestaticinherited

Definition at line 202 of file IntegerExpressions.cs.

◆ operator>() [2/3]

static BoundedLinearExpression operator> ( LinearExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 167 of file IntegerExpressions.cs.

◆ operator>() [3/3]

static BoundedLinearExpression operator> ( long  v,
LinearExpr  a 
)
inlinestaticinherited

Definition at line 172 of file IntegerExpressions.cs.

◆ operator>=() [1/3]

static BoundedLinearExpression operator>= ( LinearExpr  a,
LinearExpr  b 
)
inlinestaticinherited

Definition at line 197 of file IntegerExpressions.cs.

◆ operator>=() [2/3]

static BoundedLinearExpression operator>= ( LinearExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 157 of file IntegerExpressions.cs.

◆ operator>=() [3/3]

static BoundedLinearExpression operator>= ( long  v,
LinearExpr  a 
)
inlinestaticinherited

Definition at line 162 of file IntegerExpressions.cs.

◆ Prod()

static LinearExpr Prod ( LinearExpr  e,
long  v 
)
inlinestaticinherited

Definition at line 217 of file IntegerExpressions.cs.

◆ ScalProd() [1/2]

static LinearExpr ScalProd ( IEnumerable< IntVar vars,
IEnumerable< int >  coeffs 
)
inlinestaticinherited

Definition at line 62 of file IntegerExpressions.cs.

◆ ScalProd() [2/2]

static LinearExpr ScalProd ( IEnumerable< IntVar vars,
IEnumerable< long >  coeffs 
)
inlinestaticinherited

Definition at line 67 of file IntegerExpressions.cs.

◆ ShortString()

override string ShortString ( )
inlinevirtual

Reimplemented from LinearExpr.

Definition at line 536 of file IntegerExpressions.cs.

◆ Sum() [1/2]

static LinearExpr Sum ( IEnumerable< IntVar vars)
inlinestaticinherited

Definition at line 52 of file IntegerExpressions.cs.

◆ Sum() [2/2]

static LinearExpr Sum ( IEnumerable< LinearExpr exprs)
inlinestaticinherited

Definition at line 57 of file IntegerExpressions.cs.

◆ Term()

static LinearExpr Term ( IntVar  var,
long  coeff 
)
inlinestaticinherited

Definition at line 72 of file IntegerExpressions.cs.

◆ ToString()

override string ToString ( )
inline

Definition at line 531 of file IntegerExpressions.cs.

Property Documentation

◆ Domain

Definition at line 526 of file IntegerExpressions.cs.

◆ Index

int Index
get

Definition at line 510 of file IntegerExpressions.cs.

◆ Proto

IntegerVariableProto Proto
getset

Definition at line 520 of file IntegerExpressions.cs.


The documentation for this class was generated from the following file: