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 - download
Index: ┃ T V ┃

⟦736204a1a⟧ TextFile

    Length: 939 (0x3ab)
    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⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦e24fb53b7⟧ 
            └─⟦this⟧

TextFile

with Towers_Of_Hanoi_Kbs;
use Towers_Of_Hanoi_Kbs;
package Towers_Of_Hanoi_Frames is

    type Movement_Slots is (From_Tower, To_Tower, Count, Priority);
    package Movements is
       new Kbs.Fact_Base.Generic_Class (Class_Name => Movement,
                                        Class_Size => 50,
                                        Slot_Names => Movement_Slots);


    type Tower_Slots is (Location, Disk_Count);
    package Towers is
       new Kbs.Fact_Base.Generic_Class (Class_Name => Tower,  
                                        Class_Size => 3,  
                                        Slot_Names => Tower_Slots);

    type Disk_Slots is (Tower, Level, Size);
    package Disks is new Kbs.Fact_Base.Generic_Class (Class_Name => Disk,  
                                                      Class_Size => 15,  
                                                      Slot_Names => Disk_Slots);

end Towers_Of_Hanoi_Frames;