DotNet Reference
DotNet Reference
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
|
strong |
| Enumerator | |
|---|---|
| BoundExpression | |
| VarEqVar | |
| VarDiffVar | |
| VarEqCst | |
| VarDiffCst | |
Definition at line 609 of file IntegerExpressions.cs.
Constructor & Destructor Documentation
◆ BoundedLinearExpression() [1/3]
|
inline |
Definition at line 618 of file IntegerExpressions.cs.
◆ BoundedLinearExpression() [2/3]
|
inline |
Definition at line 627 of file IntegerExpressions.cs.
◆ BoundedLinearExpression() [3/3]
|
inline |
Definition at line 637 of file IntegerExpressions.cs.
Member Function Documentation
◆ operator false()
|
inlinestatic |
Definition at line 664 of file IntegerExpressions.cs.
◆ operator true()
|
inlinestatic |
Definition at line 659 of file IntegerExpressions.cs.
◆ operator<()
|
inlinestatic |
Definition at line 699 of file IntegerExpressions.cs.
◆ operator<=()
|
inlinestatic |
Definition at line 688 of file IntegerExpressions.cs.
◆ operator>()
|
inlinestatic |
Definition at line 721 of file IntegerExpressions.cs.
◆ operator>=()
|
inlinestatic |
Definition at line 710 of file IntegerExpressions.cs.
◆ ToString()
|
inline |
Definition at line 669 of file IntegerExpressions.cs.
Property Documentation
◆ CtType
|
get |
Definition at line 752 of file IntegerExpressions.cs.
◆ Lb
|
get |
Definition at line 742 of file IntegerExpressions.cs.
◆ Left
|
get |
Definition at line 732 of file IntegerExpressions.cs.
◆ Right
|
get |
Definition at line 737 of file IntegerExpressions.cs.
◆ Ub
|
get |
Definition at line 747 of file IntegerExpressions.cs.
The documentation for this class was generated from the following file: