Google OR-Tools v9.9
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Static Public Member Functions | List of all members
Google.OrTools.Sat.LinearExpr Class Reference

Holds a linear expression: sum (ai * xi) + b. More...

Inheritance diagram for Google.OrTools.Sat.LinearExpr:
Google.OrTools.Sat.IntVar Google.OrTools.Sat.LinearExprBuilder Google.OrTools.Sat.NotBoolVar Google.OrTools.Sat.BoolVar

Static Public Member Functions

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

Detailed Description

Holds a linear expression: sum (ai * xi) + b.

Definition at line 107 of file IntegerExpressions.cs.

Member Function Documentation

◆ Affine() [1/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.Affine ( BoolVar var,
long coeff,
long offset )
inlinestatic

Creates var * coeff + offset.

Definition at line 205 of file IntegerExpressions.cs.

◆ Affine() [2/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.Affine ( ILiteral literal,
long coeff,
long offset )
inlinestatic

Creates literal * coeff + offset.

Definition at line 199 of file IntegerExpressions.cs.

◆ Affine() [3/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.Affine ( LinearExpr expr,
long coeff,
long offset )
inlinestatic

Creates expr * coeff + offset.

Definition at line 189 of file IntegerExpressions.cs.

◆ Constant()

static LinearExpr Google.OrTools.Sat.LinearExpr.Constant ( long value)
inlinestatic

Creates a constant expression.

Definition at line 211 of file IntegerExpressions.cs.

◆ NewBuilder()

static LinearExprBuilder Google.OrTools.Sat.LinearExpr.NewBuilder ( int sizeHint = 2)
inlinestatic

Creates a builder class for linear expression.

Definition at line 217 of file IntegerExpressions.cs.

◆ operator!=() [1/2]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator!= ( LinearExpr a,
LinearExpr b )
inlinestatic

Definition at line 272 of file IntegerExpressions.cs.

◆ operator!=() [2/2]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator!= ( LinearExpr a,
long v )
inlinestatic

Definition at line 282 of file IntegerExpressions.cs.

◆ operator*() [1/2]

static LinearExpr Google.OrTools.Sat.LinearExpr.operator* ( LinearExpr a,
long v )
inlinestatic

Definition at line 252 of file IntegerExpressions.cs.

◆ operator*() [2/2]

static LinearExpr Google.OrTools.Sat.LinearExpr.operator* ( long v,
LinearExpr a )
inlinestatic

Definition at line 257 of file IntegerExpressions.cs.

◆ operator+() [1/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.operator+ ( LinearExpr a,
LinearExpr b )
inlinestatic

Definition at line 222 of file IntegerExpressions.cs.

◆ operator+() [2/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.operator+ ( LinearExpr a,
long v )
inlinestatic

Definition at line 227 of file IntegerExpressions.cs.

◆ operator+() [3/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.operator+ ( long v,
LinearExpr a )
inlinestatic

Definition at line 232 of file IntegerExpressions.cs.

◆ operator-() [1/4]

static LinearExpr Google.OrTools.Sat.LinearExpr.operator- ( LinearExpr a)
inlinestatic

Definition at line 262 of file IntegerExpressions.cs.

◆ operator-() [2/4]

static LinearExpr Google.OrTools.Sat.LinearExpr.operator- ( LinearExpr a,
LinearExpr b )
inlinestatic

Definition at line 237 of file IntegerExpressions.cs.

◆ operator-() [3/4]

static LinearExpr Google.OrTools.Sat.LinearExpr.operator- ( LinearExpr a,
long v )
inlinestatic

Definition at line 242 of file IntegerExpressions.cs.

◆ operator-() [4/4]

static LinearExpr Google.OrTools.Sat.LinearExpr.operator- ( long v,
LinearExpr a )
inlinestatic

Definition at line 247 of file IntegerExpressions.cs.

◆ operator<() [1/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator< ( LinearExpr a,
LinearExpr b )
inlinestatic

Definition at line 342 of file IntegerExpressions.cs.

◆ operator<() [2/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator< ( LinearExpr a,
long v )
inlinestatic

Definition at line 317 of file IntegerExpressions.cs.

◆ operator<() [3/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator< ( long v,
LinearExpr a )
inlinestatic

Definition at line 322 of file IntegerExpressions.cs.

◆ operator<=() [1/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator<= ( LinearExpr a,
LinearExpr b )
inlinestatic

Definition at line 337 of file IntegerExpressions.cs.

◆ operator<=() [2/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator<= ( LinearExpr a,
long v )
inlinestatic

Definition at line 307 of file IntegerExpressions.cs.

◆ operator<=() [3/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator<= ( long v,
LinearExpr a )
inlinestatic

Definition at line 312 of file IntegerExpressions.cs.

◆ operator==() [1/2]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator== ( LinearExpr a,
LinearExpr b )
inlinestatic

Definition at line 267 of file IntegerExpressions.cs.

◆ operator==() [2/2]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator== ( LinearExpr a,
long v )
inlinestatic

Definition at line 277 of file IntegerExpressions.cs.

◆ operator>() [1/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator> ( LinearExpr a,
LinearExpr b )
inlinestatic

Definition at line 332 of file IntegerExpressions.cs.

◆ operator>() [2/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator> ( LinearExpr a,
long v )
inlinestatic

Definition at line 297 of file IntegerExpressions.cs.

◆ operator>() [3/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator> ( long v,
LinearExpr a )
inlinestatic

Definition at line 302 of file IntegerExpressions.cs.

◆ operator>=() [1/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator>= ( LinearExpr a,
LinearExpr b )
inlinestatic

Definition at line 327 of file IntegerExpressions.cs.

◆ operator>=() [2/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator>= ( LinearExpr a,
long v )
inlinestatic

Definition at line 287 of file IntegerExpressions.cs.

◆ operator>=() [3/3]

static BoundedLinearExpression Google.OrTools.Sat.LinearExpr.operator>= ( long v,
LinearExpr a )
inlinestatic

Definition at line 292 of file IntegerExpressions.cs.

◆ Sum() [1/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.Sum ( IEnumerable< BoolVar > vars)
inlinestatic

Creates Sum(vars).

Definition at line 122 of file IntegerExpressions.cs.

◆ Sum() [2/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.Sum ( IEnumerable< ILiteral > literals)
inlinestatic

Creates Sum(literals).

Definition at line 116 of file IntegerExpressions.cs.

◆ Sum() [3/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.Sum ( IEnumerable< LinearExpr > exprs)
inlinestatic

Creates Sum(exprs).

Definition at line 110 of file IntegerExpressions.cs.

◆ Term() [1/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.Term ( BoolVar var,
long coeff )
inlinestatic

Creates var * coeff.

Definition at line 183 of file IntegerExpressions.cs.

◆ Term() [2/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.Term ( ILiteral literal,
long coeff )
inlinestatic

Creates literal * coeff.

Definition at line 170 of file IntegerExpressions.cs.

◆ Term() [3/3]

static LinearExpr Google.OrTools.Sat.LinearExpr.Term ( LinearExpr expr,
long coeff )
inlinestatic

Creates expr * coeff.

Definition at line 164 of file IntegerExpressions.cs.

◆ WeightedSum() [1/6]

static LinearExpr Google.OrTools.Sat.LinearExpr.WeightedSum ( IEnumerable< BoolVar > vars,
IEnumerable< int > coeffs )
inlinestatic

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

Definition at line 152 of file IntegerExpressions.cs.

◆ WeightedSum() [2/6]

static LinearExpr Google.OrTools.Sat.LinearExpr.WeightedSum ( IEnumerable< BoolVar > vars,
IEnumerable< long > coeffs )
inlinestatic

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

Definition at line 158 of file IntegerExpressions.cs.

◆ WeightedSum() [3/6]

static LinearExpr Google.OrTools.Sat.LinearExpr.WeightedSum ( IEnumerable< ILiteral > literals,
IEnumerable< int > coeffs )
inlinestatic

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

Definition at line 140 of file IntegerExpressions.cs.

◆ WeightedSum() [4/6]

static LinearExpr Google.OrTools.Sat.LinearExpr.WeightedSum ( IEnumerable< ILiteral > literals,
IEnumerable< long > coeffs )
inlinestatic

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

Definition at line 146 of file IntegerExpressions.cs.

◆ WeightedSum() [5/6]

static LinearExpr Google.OrTools.Sat.LinearExpr.WeightedSum ( IEnumerable< LinearExpr > exprs,
IEnumerable< int > coeffs )
inlinestatic

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

Definition at line 128 of file IntegerExpressions.cs.

◆ WeightedSum() [6/6]

static LinearExpr Google.OrTools.Sat.LinearExpr.WeightedSum ( IEnumerable< LinearExpr > exprs,
IEnumerable< long > coeffs )
inlinestatic

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

Definition at line 134 of file IntegerExpressions.cs.

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