diff options
author | Jed Barber <jjbarber@y7mail.com> | 2017-08-05 19:49:18 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2017-08-05 19:49:18 +1000 |
commit | 751f0ac7e8f695413d8c1a56deefa428d5314b9b (patch) | |
tree | 20d62e601eb79b132aa71518e191af46e98bf650 /src/moves.ads | |
parent | e63ddbaa05da3aa302a330a71f45f49d0343691d (diff) |
Undo and level/move number display boxes added
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); |