Previous Page Next Page Contents

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

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000