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