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

⟦e0dcf6073⟧ TextFile

    Length: 1289 (0x509)
    Types: TextFile
    Names: »V«

Derivation

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦this⟧

TextFile

with Object_Sets;
package Object_Sets_Renames is

    subtype Object is Object_Sets.Object;

    subtype Object_Set is Object_Sets.Object_Set;

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

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

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

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

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

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

end Object_Sets_Renames;