|
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 - metrics - download
Length: 2048 (0x800)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Towers_Of_Hanoi_Frames, seg_02cd8e, seg_02cef0, seg_02d117, seg_0399de, seg_03b92f, seg_03c0a6, seg_03c511, seg_03c6b8, seg_03c9ed, seg_04a9c4, seg_04b432
└─⟦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 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;
nblk1=1
nid=0
hdr6=2
[0x00] rec0=19 rec1=00 rec2=01 rec3=000
tail 0x215258c40840e7d7eb1fe 0x42a00088462063c03