DotNet Reference

.Net Reference

Detailed Description

Definition at line 589 of file IntegerExpressions.cs.

Public Member Functions

 NotBooleanVariable (IntVar boolvar)
 
override int GetIndex ()
 
ILiteral Not ()
 
IntVar NotVar ()
 
override string ShortString ()
 

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]
 

Constructor & Destructor Documentation

◆ NotBooleanVariable()

NotBooleanVariable ( IntVar  boolvar)
inline

Definition at line 591 of file IntegerExpressions.cs.

Member Function Documentation

◆ GetIndex()

override int GetIndex ( )
inline

Implements ILiteral.

Definition at line 596 of file IntegerExpressions.cs.

◆ GetVarValueMap()

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

Definition at line 235 of file IntegerExpressions.cs.

◆ Not()

ILiteral Not ( )
inline

Implements ILiteral.

Definition at line 601 of file IntegerExpressions.cs.

◆ NotVar()

IntVar NotVar ( )
inline

Definition at line 606 of file IntegerExpressions.cs.

◆ operator!=() [1/2]

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

Definition at line 143 of file IntegerExpressions.cs.

◆ operator!=() [2/2]

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

Definition at line 153 of file IntegerExpressions.cs.

◆ operator*() [1/2]

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

Definition at line 123 of file IntegerExpressions.cs.

◆ operator*() [2/2]

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

Definition at line 128 of file IntegerExpressions.cs.

◆ operator+() [1/3]

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

Definition at line 93 of file IntegerExpressions.cs.

◆ operator+() [2/3]

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

Definition at line 98 of file IntegerExpressions.cs.

◆ operator+() [3/3]

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

Definition at line 103 of file IntegerExpressions.cs.

◆ operator-() [1/4]

static LinearExpr operator- ( LinearExpr  a)
inlinestaticinherited

Definition at line 133 of file IntegerExpressions.cs.

◆ operator-() [2/4]

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

Definition at line 108 of file IntegerExpressions.cs.

◆ operator-() [3/4]

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

Definition at line 113 of file IntegerExpressions.cs.

◆ operator-() [4/4]

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

Definition at line 118 of file IntegerExpressions.cs.

◆ operator<() [1/3]

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

Definition at line 213 of file IntegerExpressions.cs.

◆ operator<() [2/3]

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

Definition at line 188 of file IntegerExpressions.cs.

◆ operator<() [3/3]

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

Definition at line 193 of file IntegerExpressions.cs.

◆ operator<=() [1/3]

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

Definition at line 208 of file IntegerExpressions.cs.

◆ operator<=() [2/3]

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

Definition at line 178 of file IntegerExpressions.cs.

◆ operator<=() [3/3]

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

Definition at line 183 of file IntegerExpressions.cs.

◆ operator==() [1/2]

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

Definition at line 138 of file IntegerExpressions.cs.

◆ operator==() [2/2]

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

Definition at line 148 of file IntegerExpressions.cs.

◆ operator>() [1/3]

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

Definition at line 203 of file IntegerExpressions.cs.

◆ operator>() [2/3]

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

Definition at line 168 of file IntegerExpressions.cs.

◆ operator>() [3/3]

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

Definition at line 173 of file IntegerExpressions.cs.

◆ operator>=() [1/3]

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

Definition at line 198 of file IntegerExpressions.cs.

◆ operator>=() [2/3]

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

Definition at line 158 of file IntegerExpressions.cs.

◆ operator>=() [3/3]

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

Definition at line 163 of file IntegerExpressions.cs.

◆ Prod()

static LinearExpr Prod ( LinearExpr  e,
long  v 
)
inlinestaticinherited

Definition at line 218 of file IntegerExpressions.cs.

◆ ScalProd() [1/2]

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

Definition at line 61 of file IntegerExpressions.cs.

◆ ScalProd() [2/2]

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

Definition at line 66 of file IntegerExpressions.cs.

◆ ShortString()

override string ShortString ( )
inlinevirtual

Reimplemented from LinearExpr.

Definition at line 611 of file IntegerExpressions.cs.

◆ Sum() [1/2]

static LinearExpr Sum ( IEnumerable< IntVar vars)
inlinestaticinherited

Definition at line 51 of file IntegerExpressions.cs.

◆ Sum() [2/2]

static LinearExpr Sum ( IEnumerable< LinearExpr exprs)
inlinestaticinherited

Definition at line 56 of file IntegerExpressions.cs.

◆ Term()

static LinearExpr Term ( IntVar  var,
long  coeff 
)
inlinestaticinherited

Definition at line 71 of file IntegerExpressions.cs.

Property Documentation

◆ Index

int Index
getinherited

Definition at line 76 of file IntegerExpressions.cs.


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