|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 7168 (0x1c00) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Generic_Rule_Base, seg_02c6c7, seg_02cc7e, seg_02ced2, seg_02d0f8, seg_03b8dc
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦5a81ac88f⟧ »Space Info Vol 1« └─⟦this⟧ └─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« └─⟦this⟧
with Output_Stream; generic Max_Rules : in Positive := 50; Max_Condition_Elements_By_Rule : in Positive := 10; Max_Condition_Elements : in Positive := 200; type Rule_Bundles is (<>); type Fact_Name is private; type Fact_Collection is array (Positive range <>) of Fact_Name; Empty_Fact_Collection : Fact_Collection; with procedure Fact_Put (The_Collection : Fact_Collection; Where : Output_Stream.Object); type Fact_Query is private; Null_Fact_Query : Fact_Query; type Fact_Queries is array (Positive range <>) of Fact_Query; Null_Premiss : Fact_Queries; with function Retrieve (Filter : Fact_Queries) return Fact_Collection is <>; with procedure Queries_Put (The_Queries : Fact_Queries; Where : Output_Stream.Object); package Generic_Rule_Base is subtype Rule_Id is Natural; No_Rule : constant Rule_Id := 0; function Count return Natural; function Get (R : Rule_Id) return Rule_Bundles; procedure Put (R : Rule_Id; Where : Output_Stream.Object); procedure Null_Action (On : Fact_Collection); generic with procedure Do_Action (For_Rule : Rule_Id; On_Facts : Fact_Collection); procedure Infere; function Inference_Count return Natural; function Elapsed_Time return Duration; function Firings_Per_Second return Natural; Illegal_Bundle : exception; Illegal_Rule_Id : exception; Overflow : exception; generic The_Bundle : Rule_Bundles; type Rule_Names is (<>); Nothing : Rule_Names := Rule_Names'Last; Rule_1 : Rule_Names := Nothing; Name_1 : String := Rule_Names'Image (Rule_1); Premiss_1 : Fact_Queries := Null_Premiss; with procedure Action_1 (On : Fact_Collection) is Generic_Rule_Base.Null_Action; Rule_2 : Rule_Names := Nothing; Name_2 : String := Rule_Names'Image (Rule_2); Premiss_2 : Fact_Queries := Null_Premiss; with procedure Action_2 (On : Fact_Collection) is Generic_Rule_Base.Null_Action; Rule_3 : Rule_Names := Nothing; Name_3 : String := Rule_Names'Image (Rule_3); Premiss_3 : Fact_Queries := Null_Premiss; with procedure Action_3 (On : Fact_Collection) is Generic_Rule_Base.Null_Action; Rule_4 : Rule_Names := Nothing; Name_4 : String := Rule_Names'Image (Rule_4); Premiss_4 : Fact_Queries := Null_Premiss; with procedure Action_4 (On : Fact_Collection) is Generic_Rule_Base.Null_Action; Rule_5 : Rule_Names := Nothing; Name_5 : String := Rule_Names'Image (Rule_5); Premiss_5 : Fact_Queries := Null_Premiss; with procedure Action_5 (On : Fact_Collection) is Generic_Rule_Base.Null_Action; package Generic_Rule_Bundle is procedure Do_Action (For_Rule : Rule_Id; On_Facts : Fact_Collection); end Generic_Rule_Bundle; end Generic_Rule_Base;
nblk1=6 nid=0 hdr6=c [0x00] rec0=1d rec1=00 rec2=01 rec3=00a [0x01] rec0=01 rec1=00 rec2=06 rec3=000 [0x02] rec0=1d rec1=00 rec2=02 rec3=002 [0x03] rec0=01 rec1=00 rec2=05 rec3=000 [0x04] rec0=16 rec1=00 rec2=03 rec3=050 [0x05] rec0=07 rec1=00 rec2=04 rec3=001 tail 0x21524c97284046f5d0254 0x42a00088462063c03