DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: T V

⟦6793c4cb0⟧ TextFile

    Length: 976 (0x3d0)
    Types: TextFile
    Names: »V«

Derivation

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧

TextFile

-- This package, if made directly visible via a "use" clause, allows
-- the operations in "Object_Sets" to be used in infix expressions
-- without renaming.
--
with Object_Sets;
package Object_Sets_Renames is

    subtype Element is Object_Sets.Element;

    subtype Set is Object_Sets.Set;

    function "+" (This_Set : in Set; That_Set : in Set) return Set
        renames Object_Sets.Union;

    function "*" (This_Set : in Set; That_Set : in Set) return Set
        renames Object_Sets.Intersection;

    function "xor" (This_Set : in Set; That_Set : in Set) return Set
        renames Object_Sets.Exclusive_Or;

    function "-" (This_Set : in Set; Except_For : in Set) return Set
        renames Object_Sets.Subtraction;

    function ">=" (This_Set : in Set; Contains : in Set) return Boolean
        renames Object_Sets.Subset;

    function ">" (This_Set : in Set; Contains : in Set) return Boolean
        renames Object_Sets.Proper_Subset;

end Object_Sets_Renames;