|
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: 3072 (0xc00)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Towers_Of_Hanoi_Graphic_Solution, seg_02cca2, seg_02cef7
└─⟦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;
with Towers_Of_Hanoi_Frames;
with Towers_Of_Hanoi_Graphic;
with Towers_Of_Hanoi_Rules_For_Graphic;
with Text_Io;
use Towers_Of_Hanoi_Kbs;
use Towers_Of_Hanoi_Frames;
procedure Towers_Of_Hanoi_Graphic_Solution is
use Kbs;
Initial_Tower_Size : constant := 10;
Initial_Priority : constant := 1;
Disk_Size : Natural;
package Toh_Rules renames Towers_Of_Hanoi_Rules_For_Graphic;
procedure Infere_On_Towers_Of_Hanoi is
new Kbs.Rule_Base.Infere (Do_Action => Toh_Rules.Do_Action);
begin
Towers.Add ((Location => 1, Disk_Count => Initial_Tower_Size));
Towers.Add ((Location => 2, Disk_Count => 0));
Towers.Add ((Location => 3, Disk_Count => 0));
for I in 1 .. Initial_Tower_Size loop
Disk_Size := 12 - I;
Disks.Add ((Tower => 1, Level => I, Size => Disk_Size));
Towers_Of_Hanoi_Graphic.Print_Disk (1, I, Disk_Size);
end loop;
Movements.Add ((From_Tower => 1,
To_Tower => 3,
Count => Initial_Tower_Size,
Priority => Initial_Priority));
for I in 1 .. 3 loop
Towers_Of_Hanoi_Graphic.Print_Needle (I, Height => 15);
end loop;
delay 1.5;
Infere_On_Towers_Of_Hanoi;
end Towers_Of_Hanoi_Graphic_Solution;
nblk1=2
nid=0
hdr6=4
[0x00] rec0=20 rec1=00 rec2=01 rec3=020
[0x01] rec0=0e rec1=00 rec2=02 rec3=001
tail 0x21524fc18840747ee0129 0x42a00088462063c03