DotNet Reference

DotNet Reference

NotBooleanVariable

Detailed Description

Definition at line 577 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 579 of file IntegerExpressions.cs.

Member Function Documentation

◆ GetIndex()

override int GetIndex ( )
inline

Implements ILiteral.

Definition at line 584 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.

◆ Not()

ILiteral Not ( )
inline

Implements ILiteral.

Definition at line 589 of file IntegerExpressions.cs.

◆ NotVar()

IntVar NotVar ( )
inline

Definition at line 594 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 599 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.

Property Documentation

◆ Index

int Index
getinherited

Definition at line 77 of file IntegerExpressions.cs.


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