blob: 11f92b4ddabd3f63e02428c7fb862b9d7bb101ec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
package body Moves is
procedure Add
(This : in out Path;
Item : in Move) is
begin
This.Append (Item);
end Add;
procedure Add
(This : in out Path;
List : in Path) is
begin
This.Append (List);
end Add;
function Latest
(This : in Path)
return Move is
begin
return This.Last_Element;
end Latest;
procedure Drop_Latest
(This : in out Path) is
begin
This.Delete_Last;
end Drop_Latest;
function Length
(This : in Path)
return Natural is
begin
return Natural (Move_Vectors.Vector (This).Length);
end Length;
end Moves;
|