DotNet Reference

DotNet Reference

BoundedLinearExpression

Detailed Description

Definition at line 607 of file IntegerExpressions.cs.

Public Types

enum  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 609 of file IntegerExpressions.cs.

Constructor & Destructor Documentation

◆ BoundedLinearExpression() [1/3]

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

Definition at line 618 of file IntegerExpressions.cs.

◆ BoundedLinearExpression() [2/3]

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

Definition at line 627 of file IntegerExpressions.cs.

◆ BoundedLinearExpression() [3/3]

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

Definition at line 637 of file IntegerExpressions.cs.

Member Function Documentation

◆ operator false()

static bool operator false ( BoundedLinearExpression  bie)
inlinestatic

Definition at line 664 of file IntegerExpressions.cs.

◆ operator true()

static bool operator true ( BoundedLinearExpression  bie)
inlinestatic

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

◆ operator>()

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

Definition at line 721 of file IntegerExpressions.cs.

◆ operator>=()

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

Definition at line 710 of file IntegerExpressions.cs.

◆ ToString()

override string ToString ( )
inline

Definition at line 669 of file IntegerExpressions.cs.

Property Documentation

◆ CtType

Type CtType
get

Definition at line 752 of file IntegerExpressions.cs.

◆ Lb

long Lb
get

Definition at line 742 of file IntegerExpressions.cs.

◆ Left

LinearExpr Left
get

Definition at line 732 of file IntegerExpressions.cs.

◆ Right

LinearExpr Right
get

Definition at line 737 of file IntegerExpressions.cs.

◆ Ub

long Ub
get

Definition at line 747 of file IntegerExpressions.cs.


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