Manuals/calci/OPFSTR

OPFSTR (Operator)

• $Operator$ is any operator.

Description

• This function shows the name of the given arithmetic operator.
• In $OPF(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

See Also

• ISOPERATORSYMBOL
• SUM
• SUBTRACT

References

• Operators

• List of Main Z Functions
• Z3 home