PAL CARD CATALOG ENTRY

SHORT DESCRIPTION

Manipulate sets of objects


MOVEMENT WITHIN THE PAL CARD CATALOG
Move to top-level taxonomy
Move to keyword list

ASSET PROFILE

UNIT NAME
Abstractions/SET (A1SET)
VERSION
1.0
REVIEW CODE
C1 1.0 B
INET ADDRESS
Not documented in PAL database
AUTHOR
Bill Toscano, Michael Gordon
Intermetrics, Inc,
733 Concord Ave
Cambridge, MA 02138
Contact: Lt. Colonel Falgiano
ESD/SCW
Hanscom AFB, MA 01731
RIGHTS
PUBLIC DOMAIN
COPYRIGHT
(c) 1985 Intermetrics, Inc.
DATE CREATED
15 October 1985
DATE RELEASED
18 March 1985
DATE LAST UPDATED
17 March 1985
LOCATION
ASR
C2MUG
PC-BLUE
ENVIRONMENT
VAX/VMS, DEC Ada
LIMITATIONS
Not documented in PAL database
CERTIFICATION
Ada System Certifier_1 1.0
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

FILE LISTING

Directory Display


languages/ada/asr/abstractions/set:
  File Name                 Size
  ---------                 ----
  set.zip                  3,562


Totals
  ==============  ==============
    1 Files                3,562

ABSTRACT

	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.


REVISION HISTORY

DATE         VERSION AUTHOR                  HISTORY 
03/85        1.0  Bill Toscano               Initial Release 


RELEASE NOTICE

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


DISCLAIMER

	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.