Manuals/calci/OPF

OPF (Operator)

• $Operator$ is any symbol of the 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. 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