agpl_1.0.0_b5da3320/src/agpl-stochastics-mdp-state.adb

 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
with Ada.Strings.Hash;

package body Agpl.Stochastics.Mdp.State is

   --------------
   -- Distance --
   --------------

   function Distance (This : in Object) return Distances
   is
      pragma Unreferenced (This);
   begin
      return 0.0;
   end Distance;

   ---------
   -- "<" --
   ---------

   function "<" (L, R : in Object'Class) return Boolean is
      LD : constant Distances := L.Distance;
      RD : constant Distances := R.Distance;
   begin
      if LD = RD then
         return L.Get_Id < R.Get_Id;
      else
         return LD < RD;
      end if;
   end "<";

   ----------
   -- Hash --
   ----------

   function Hash (Id : in Object_Id) return Ada.Containers.Hash_Type is
   begin
      return Ada.Strings.Hash (String (Id));
   end Hash;

   ---------------
   -- To_String --
   ---------------

   function To_String (This : in Object) return String is
   begin
      return String (Get_Id (Object'Class (This)));
   end To_String;

end Agpl.Stochastics.Mdp.State;