Manuals/calci/OPFSTR

OPFSTR (Operator)

OPFSTR (Operator)

where

• $Operator$ is any operator.
  • OPFSTR()shows the name of the given arithmetic operator.

Description

OPFSTR (Operator)

• $Operator$ is any symbol of the operator.
• Arithmetic operators take numerical values as their operands and return a single numerical value.
• The standard arithmetic operators are addition (+), subtraction (-), multiplication (*), and division (/).
• When we giving the any symbol of arithmetic operators this function will show name and arguments of the given operator.

Examples

1. OPFSTR("+") = SUM
2. OPFSTR("-") = MINUS
3. OPFSTR("*") = MULTIPLY
4. OPFSTR("/") = DIVIDE
5. OPFSTR("%") = MOD

See Also

• ISOPERATORSYMBOL
• SUM
• SUBTRACT

References

• Operators

• List of Main Z Functions
• Z3 home