|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T V
Length: 922 (0x39a)
Types: TextFile
Names: »V«
└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
└─⟦124ff5788⟧ »DATA«
└─⟦this⟧
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─⟦129cab021⟧ »DATA«
└─⟦this⟧
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
└─⟦6f12a12be⟧ »DATA«
└─⟦this⟧
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
└─⟦d65440be7⟧ »DATA«
└─⟦this⟧
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─⟦129cab021⟧ »DATA«
└─⟦e24fb53b7⟧
└─⟦this⟧
with Condition;
with Fact;
generic
Class_Name : String;
type Slot_Names is (<>);
with function Attribute_Image (I : Integer) return String is Integer'Image;
package Generic_Fact is
type Frame is array (Slot_Names) of Integer;
type Pattern is array (Slot_Names) of Condition.Object;
function Exist (What : Pattern) return Fact.Query;
function Absent (What : Pattern) return Fact.Query;
function Get (The_Fact : Fact.Name) return Frame;
function Get (The_Fact : Fact.Name; Slot : Slot_Names) return Integer;
procedure Add (The_Fact : Frame);
procedure Delete (The_Fact : Fact.Name);
procedure Change (The_Fact : Fact.Name; Value : Frame);
procedure Change (The_Fact : Fact.Name;
The_Slot : Slot_Names;
To_Value : Integer);
function Image (The_Fact : Fact.Name) return String;
end Generic_Fact;