DotNet Reference

.Net Reference

Detailed Description

Definition at line 815 of file IntegerExpressions.cs.

Public Member Functions

 NotBoolVar (BoolVar boolvar)
 
int GetIndex ()
 Returns the logical index of the literal. More...
 
ILiteral Not ()
 Returns the Boolean negation of the literal. More...
 
LinearExpr NotAsExpr ()
 Returns the Boolean negation of the literal as a linear expression. More...
 
override string ToString ()
 

Static Public Member Functions

static LinearExpr Sum (IEnumerable< LinearExpr > exprs)
 Creates Sum(exprs). More...
 
static LinearExpr Sum (IEnumerable< ILiteral > literals)
 Creates Sum(literals). More...
 
static LinearExpr Sum (IEnumerable< BoolVar > vars)
 Creates Sum(vars). More...
 
static LinearExpr WeightedSum (IEnumerable< LinearExpr > exprs, IEnumerable< int > coeffs)
 Creates Sum(exprs[i] * coeffs[i]). More...
 
static LinearExpr WeightedSum (IEnumerable< LinearExpr > exprs, IEnumerable< long > coeffs)
 Creates Sum(exprs[i] * coeffs[i]). More...
 
static LinearExpr WeightedSum (IEnumerable< ILiteral > literals, IEnumerable< int > coeffs)
 Creates Sum(literals[i] * coeffs[i]). More...
 
static LinearExpr WeightedSum (IEnumerable< ILiteral > literals, IEnumerable< long > coeffs)
 Creates Sum(literals[i] * coeffs[i]). More...
 
static LinearExpr WeightedSum (IEnumerable< BoolVar > vars, IEnumerable< int > coeffs)
 Creates Sum(vars[i] * coeffs[i]). More...
 
static LinearExpr WeightedSum (IEnumerable< BoolVar > vars, IEnumerable< long > coeffs)
 Creates Sum(vars[i] * coeffs[i]). More...
 
static LinearExpr Term (LinearExpr expr, long coeff)
 Creates expr * coeff. More...
 
static LinearExpr Term (ILiteral literal, long coeff)
 Creates literal * coeff. More...
 
static LinearExpr Term (BoolVar var, long coeff)
 Creates var * coeff. More...
 
static LinearExpr Affine (LinearExpr expr, long coeff, long offset)
 Creates expr * coeff + offset. More...
 
static LinearExpr Affine (ILiteral literal, long coeff, long offset)
 Creates literal * coeff + offset. More...
 
static LinearExpr Affine (BoolVar var, long coeff, long offset)
 Creates var * coeff + offset. More...
 
static LinearExpr Constant (long value)
 Creates a constant expression. More...
 
static LinearExprBuilder NewBuilder (int sizeHint=2)
 Creates a builder class for linear expression. More...
 
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)
 

Properties

int Index [get]
 

Constructor & Destructor Documentation

◆ NotBoolVar()

NotBoolVar ( BoolVar  boolvar)
inline

Definition at line 817 of file IntegerExpressions.cs.

Member Function Documentation

◆ Affine() [1/3]

static LinearExpr Affine ( BoolVar  var,
long  coeff,
long  offset 
)
inlinestaticinherited

Creates var * coeff + offset.

Definition at line 205 of file IntegerExpressions.cs.

◆ Affine() [2/3]

static LinearExpr Affine ( ILiteral  literal,
long  coeff,
long  offset 
)
inlinestaticinherited

Creates literal * coeff + offset.

Definition at line 199 of file IntegerExpressions.cs.

◆ Affine() [3/3]

static LinearExpr Affine ( LinearExpr  expr,
long  coeff,
long  offset 
)
inlinestaticinherited

Creates expr * coeff + offset.

Definition at line 189 of file IntegerExpressions.cs.

◆ Constant()

static LinearExpr Constant ( long  value)
inlinestaticinherited

Creates a constant expression.

Definition at line 211 of file IntegerExpressions.cs.

◆ GetIndex()

int GetIndex ( )
inline

Returns the logical index of the literal.

Implements ILiteral.

Definition at line 822 of file IntegerExpressions.cs.

◆ NewBuilder()

static LinearExprBuilder NewBuilder ( int  sizeHint = 2)
inlinestaticinherited

Creates a builder class for linear expression.

Definition at line 217 of file IntegerExpressions.cs.

◆ Not()

ILiteral Not ( )
inline

Returns the Boolean negation of the literal.

Implements ILiteral.

Definition at line 834 of file IntegerExpressions.cs.

◆ NotAsExpr()

LinearExpr NotAsExpr ( )
inline

Returns the Boolean negation of the literal as a linear expression.

Implements ILiteral.

Definition at line 839 of file IntegerExpressions.cs.

◆ operator!=() [1/2]

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

Definition at line 272 of file IntegerExpressions.cs.

◆ operator!=() [2/2]

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

Definition at line 282 of file IntegerExpressions.cs.

◆ operator*() [1/2]

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

Definition at line 252 of file IntegerExpressions.cs.

◆ operator*() [2/2]

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

Definition at line 257 of file IntegerExpressions.cs.

◆ operator+() [1/3]

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

Definition at line 222 of file IntegerExpressions.cs.

◆ operator+() [2/3]

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

Definition at line 227 of file IntegerExpressions.cs.

◆ operator+() [3/3]

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

Definition at line 232 of file IntegerExpressions.cs.

◆ operator-() [1/4]

static LinearExpr operator- ( LinearExpr  a)
inlinestaticinherited

Definition at line 262 of file IntegerExpressions.cs.

◆ operator-() [2/4]

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

Definition at line 237 of file IntegerExpressions.cs.

◆ operator-() [3/4]

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

Definition at line 242 of file IntegerExpressions.cs.

◆ operator-() [4/4]

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

Definition at line 247 of file IntegerExpressions.cs.

◆ operator<() [1/3]

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

Definition at line 342 of file IntegerExpressions.cs.

◆ operator<() [2/3]

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

Definition at line 317 of file IntegerExpressions.cs.

◆ operator<() [3/3]

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

Definition at line 322 of file IntegerExpressions.cs.

◆ operator<=() [1/3]

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

Definition at line 337 of file IntegerExpressions.cs.

◆ operator<=() [2/3]

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

Definition at line 307 of file IntegerExpressions.cs.

◆ operator<=() [3/3]

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

Definition at line 312 of file IntegerExpressions.cs.

◆ operator==() [1/2]

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

Definition at line 267 of file IntegerExpressions.cs.

◆ operator==() [2/2]

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

Definition at line 277 of file IntegerExpressions.cs.

◆ operator>() [1/3]

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

Definition at line 332 of file IntegerExpressions.cs.

◆ operator>() [2/3]

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

Definition at line 297 of file IntegerExpressions.cs.

◆ operator>() [3/3]

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

Definition at line 302 of file IntegerExpressions.cs.

◆ operator>=() [1/3]

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

Definition at line 327 of file IntegerExpressions.cs.

◆ operator>=() [2/3]

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

Definition at line 287 of file IntegerExpressions.cs.

◆ operator>=() [3/3]

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

Definition at line 292 of file IntegerExpressions.cs.

◆ Sum() [1/3]

static LinearExpr Sum ( IEnumerable< BoolVar vars)
inlinestaticinherited

Creates Sum(vars).

Definition at line 122 of file IntegerExpressions.cs.

◆ Sum() [2/3]

static LinearExpr Sum ( IEnumerable< ILiteral literals)
inlinestaticinherited

Creates Sum(literals).

Definition at line 116 of file IntegerExpressions.cs.

◆ Sum() [3/3]

static LinearExpr Sum ( IEnumerable< LinearExpr exprs)
inlinestaticinherited

Creates Sum(exprs).

Definition at line 110 of file IntegerExpressions.cs.

◆ Term() [1/3]

static LinearExpr Term ( BoolVar  var,
long  coeff 
)
inlinestaticinherited

Creates var * coeff.

Definition at line 183 of file IntegerExpressions.cs.

◆ Term() [2/3]

static LinearExpr Term ( ILiteral  literal,
long  coeff 
)
inlinestaticinherited

Creates literal * coeff.

Definition at line 170 of file IntegerExpressions.cs.

◆ Term() [3/3]

static LinearExpr Term ( LinearExpr  expr,
long  coeff 
)
inlinestaticinherited

Creates expr * coeff.

Definition at line 164 of file IntegerExpressions.cs.

◆ ToString()

override string ToString ( )
inline

Definition at line 844 of file IntegerExpressions.cs.

◆ WeightedSum() [1/6]

static LinearExpr WeightedSum ( IEnumerable< BoolVar vars,
IEnumerable< int >  coeffs 
)
inlinestaticinherited

Creates Sum(vars[i] * coeffs[i]).

Definition at line 152 of file IntegerExpressions.cs.

◆ WeightedSum() [2/6]

static LinearExpr WeightedSum ( IEnumerable< BoolVar vars,
IEnumerable< long >  coeffs 
)
inlinestaticinherited

Creates Sum(vars[i] * coeffs[i]).

Definition at line 158 of file IntegerExpressions.cs.

◆ WeightedSum() [3/6]

static LinearExpr WeightedSum ( IEnumerable< ILiteral literals,
IEnumerable< int >  coeffs 
)
inlinestaticinherited

Creates Sum(literals[i] * coeffs[i]).

Definition at line 140 of file IntegerExpressions.cs.

◆ WeightedSum() [4/6]

static LinearExpr WeightedSum ( IEnumerable< ILiteral literals,
IEnumerable< long >  coeffs 
)
inlinestaticinherited

Creates Sum(literals[i] * coeffs[i]).

Definition at line 146 of file IntegerExpressions.cs.

◆ WeightedSum() [5/6]

static LinearExpr WeightedSum ( IEnumerable< LinearExpr exprs,
IEnumerable< int >  coeffs 
)
inlinestaticinherited

Creates Sum(exprs[i] * coeffs[i]).

Definition at line 128 of file IntegerExpressions.cs.

◆ WeightedSum() [6/6]

static LinearExpr WeightedSum ( IEnumerable< LinearExpr exprs,
IEnumerable< long >  coeffs 
)
inlinestaticinherited

Creates Sum(exprs[i] * coeffs[i]).

Definition at line 134 of file IntegerExpressions.cs.

Property Documentation

◆ Index

int Index
get

Definition at line 827 of file IntegerExpressions.cs.


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