This commit is contained in:
@@ -1,3 +1,6 @@
|
||||
generic
|
||||
type Meta is private;
|
||||
type H is digits <>;
|
||||
package Grl.Coordinates with
|
||||
SPARK_Mode => On
|
||||
is
|
||||
@@ -92,6 +95,15 @@ is
|
||||
end case;
|
||||
end record;
|
||||
|
||||
-- ------------------------ --
|
||||
-- Location Type Definition --
|
||||
-- ------------------------ --
|
||||
type Location is record
|
||||
Where : Coordinate;
|
||||
Heuristic : H;
|
||||
Data : Meta;
|
||||
end record;
|
||||
|
||||
-- ---------------------------- --
|
||||
-- Converter / helper functions --
|
||||
-- ---------------------------- --
|
||||
|
||||
@@ -0,0 +1,3 @@
|
||||
with Grl.Coordinates;
|
||||
|
||||
package Grl.Default is new Grl.Coordinates (Meta => Natural, H => Float);
|
||||
@@ -1,3 +1,2 @@
|
||||
package Grl is
|
||||
|
||||
end Grl;
|
||||
|
||||
Reference in New Issue
Block a user