Overload List

  NameDescription
Public methodNegative(IIntExpr)
Creates and returns the new expression -e, the negation of the expression e.
Public methodNegative(INumExpr)
Creates and returns the new expression -e, the negation of the expression e.

See Also