Previous Page Contents

Ax::systemRep -- the axiom of facade domains

Introduction

Ax::systemRep states that domain elements are represented by elements of built-in domains.

Generating the axiom

Ax::systemRep()

Details

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000