From 751f0ac7e8f695413d8c1a56deefa428d5314b9b Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 5 Aug 2017 19:49:18 +1000 Subject: Undo and level/move number display boxes added --- src/moves.ads | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'src/moves.ads') diff --git a/src/moves.ads b/src/moves.ads index ebf2bb1..1462847 100644 --- a/src/moves.ads +++ b/src/moves.ads @@ -14,9 +14,6 @@ package Moves is end record; - Null_Move : constant Move; - - type Path is tagged private; @@ -44,6 +41,11 @@ package Moves is (This : in out Path); + function Length + (This : in Path) + return Natural; + + private @@ -54,7 +56,6 @@ private type Path is new Move_Vectors.Vector with null record; - Null_Move : constant Move := (Delta_X => 0, Delta_Y => 0, Push => False); Empty_Path : constant Path := (Move_Vectors.Empty_Vector with null record); -- cgit