Manuals/calci/OPF

OPF (Operator)

• $Operator$ is any symbol of the operator.

OPF() shows the name of the given arithmetic operator.

Description

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. OPF("+") = SUM()
2. OPF("-") = MINUS ()
3. OPF("*") = PRODUCT ()
4. OPF("/") = DIVIDE ()

See Also

• ISOPERATORSYMBOL
• SUM
• SUBTRACT

References

• Operators

• List of Main Z Functions
• Z3 home