diff options
Diffstat (limited to 'src/moves.ads')
-rw-r--r-- | src/moves.ads | 9 |
1 files changed, 5 insertions, 4 deletions
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); |