next up previous contents
Next: About this document ... Up: Other features of the Previous: Features to support communication   Contents

Miscellaneous inquiries and predicates

There are inquiry functions to discover many properties of ranges, groups and DADs, and various predicate methods desighed for run-time checking for correctness of programs.

Bryan Carpenter 2002-07-12