## `Ax::efficientOperation` -- the axiom of efficient operations

#### Introduction

`Ax::efficientOperation(`(oper)`)` states that operation `oper` can be performed efficiently.

#### Generating the axiom

`Ax::efficientOperation(oper)`

#### Parameters

`oper` | - | A string which defines the efficient operation.

#### Details

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

#### Changes

- no changes

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000