DotNet Reference

.Net Reference

Detailed Description

Definition at line 619 of file IntegerExpressions.cs.

Public Types

enum class  Type {
  BoundExpression , VarEqVar , VarDiffVar , VarEqCst ,
  VarDiffCst
}
 

Public Member Functions

 BoundedLinearExpression (long lb, LinearExpr expr, long ub)
 
 BoundedLinearExpression (LinearExpr left, LinearExpr right, bool equality)
 
 BoundedLinearExpression (LinearExpr left, long v, bool equality)
 
override string ToString ()
 

Static Public Member Functions

static bool operator true (BoundedLinearExpression bie)
 
static bool operator false (BoundedLinearExpression bie)
 
static BoundedLinearExpression operator<= (BoundedLinearExpression a, long v)
 
static BoundedLinearExpression operator< (BoundedLinearExpression a, long v)
 
static BoundedLinearExpression operator>= (BoundedLinearExpression a, long v)
 
static BoundedLinearExpression operator> (BoundedLinearExpression a, long v)
 

Properties

LinearExpr Left [get]
 
LinearExpr Right [get]
 
long Lb [get]
 
long Ub [get]
 
Type CtType [get]
 

Member Enumeration Documentation

◆ Type

enum Type
strong
Enumerator
BoundExpression 
VarEqVar 
VarDiffVar 
VarEqCst 
VarDiffCst 

Definition at line 621 of file IntegerExpressions.cs.

Constructor & Destructor Documentation

◆ BoundedLinearExpression() [1/3]

BoundedLinearExpression ( long  lb,
LinearExpr  expr,
long  ub 
)
inline

Definition at line 630 of file IntegerExpressions.cs.

◆ BoundedLinearExpression() [2/3]

BoundedLinearExpression ( LinearExpr  left,
LinearExpr  right,
bool  equality 
)
inline

Definition at line 639 of file IntegerExpressions.cs.

◆ BoundedLinearExpression() [3/3]

BoundedLinearExpression ( LinearExpr  left,
long  v,
bool  equality 
)
inline

Definition at line 648 of file IntegerExpressions.cs.

Member Function Documentation

◆ operator false()

static bool operator false ( BoundedLinearExpression  bie)
inlinestatic

Definition at line 675 of file IntegerExpressions.cs.

◆ operator true()

static bool operator true ( BoundedLinearExpression  bie)
inlinestatic

Definition at line 670 of file IntegerExpressions.cs.

◆ operator<()

static BoundedLinearExpression operator< ( BoundedLinearExpression  a,
long  v 
)
inlinestatic

Definition at line 708 of file IntegerExpressions.cs.

◆ operator<=()

static BoundedLinearExpression operator<= ( BoundedLinearExpression  a,
long  v 
)
inlinestatic

Definition at line 699 of file IntegerExpressions.cs.

◆ operator>()

static BoundedLinearExpression operator> ( BoundedLinearExpression  a,
long  v 
)
inlinestatic

Definition at line 726 of file IntegerExpressions.cs.

◆ operator>=()

static BoundedLinearExpression operator>= ( BoundedLinearExpression  a,
long  v 
)
inlinestatic

Definition at line 717 of file IntegerExpressions.cs.

◆ ToString()

override string ToString ( )
inline

Definition at line 680 of file IntegerExpressions.cs.

Property Documentation

◆ CtType

Type CtType
get

Definition at line 763 of file IntegerExpressions.cs.

◆ Lb

long Lb
get

Definition at line 749 of file IntegerExpressions.cs.

◆ Left

LinearExpr Left
get

Definition at line 735 of file IntegerExpressions.cs.

◆ Right

LinearExpr Right
get

Definition at line 742 of file IntegerExpressions.cs.

◆ Ub

long Ub
get

Definition at line 756 of file IntegerExpressions.cs.


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