Ax::efficientOperation
-- the axiom of
efficient operationsAx::efficientOperation(
(oper))
states that
operation oper
can be performed efficiently.
Ax::efficientOperation(oper)
oper |
- | A string which defines the efficient operation. |
Ax::efficientOperation
(oper)
is
used to state that the operation oper
can be performed
efficiently.oper
must be the name of the operations
slot in the domain stating the axiom. Examples are
"_mult"
, "_invert"
or
"_divide"
.