Overload List
| Name | Description | |
|---|---|---|
|
Lt(Int32, IIntExpr) |
Creates and returns the new constraint v < e.
|
|
|
Lt(IIntExpr, IIntExpr) |
Creates and returns the new constraint e1 < e2.
|
|
|
Lt(IIntExpr, Int32) |
Creates and returns the new constraint e < v.
|
