Manipulate sets of objects
Date/Time of Processing: Tuesday 24 May 1994 01:27:33Pm Overall Assessment of System: OK Classification of System: B Basis of Classification -- Syntax Errors PASS Completeness PASS Independence from External Libraries FAIL Independence from a Specific Ada Compiler PASS Explanations for failures -- System withs non-standard library units that are not provided Number of ... Files 2 Library Units 2 Lines 370 Statements 85 Comments 132 Unidentified Withed Units -- 1 unidentified withed units
languages/ada/asr/abstractions/set: File Name Size --------- ---- set.zip 3,562 Totals ============== ============== 1 Files 3,562
This package provides the set abstract data type. Standard mathematical notation is employed to describe the effects of the operations. The components type and an equality relation used for membership tests are generic formals of the package. See the SCALAR_SET_PKG, HASHED_SET_PKG, and ORDERED_SET_PKG packages for other set implementations. The following is a complete list of operations: Constructors: Create (optional): Initialize a SET object Insert: Insert an element into a SET Delete: Delete an element from a SET Intersect: Return an intersection of two SET objects Union: Return a union of two SET objects Copy: Copy a SET Query Operations: Equal: Determine if two sets are equal Is_Empty: Return TRUE if a set is empty Is_Member: Return TRUE if an element is a member of a SET Size: Return the cardinality of a SET Iterators: Make_Members_Iter: Create an iterator for the members of a SET More: Return TRUE if more members are left in a SET Next: Return the next member of a SET Heap Management: Destroy: Return space consumed by a SET object ABSTRACTIONS is used by NOSC/WIS tools 5.1.1, 5.1.2, 6.1.2, and 6.2. See also NEW_ABSTRACTIONS.
DATE VERSION AUTHOR HISTORY 03/85 1.0 Bill Toscano Initial Release
This prologue must be included in all copies of this software. This software is copyright by the author. This software is released to the Ada community. This software is released to the Public Domain (note: software released to the Public Domain is not subject to copyright protection). Restrictions on use or distribution: NONE
This software and its documentation are provided "AS IS" and without any expressed or implied warranties whatsoever. No warranties as to performance, merchantability, or fitness for a particular purpose exist. The user is advised to test the software thoroughly before relying on it. The user must assume the entire risk and liability of using this software. In no event shall any person or organization of people be held responsible for any direct, indirect, consequential or inconsequential damages or lost profits.