blob: d405e7ec6c5aa71a2c46ae970e847badc7313fb7 (
plain)
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
|
with Ada.Containers.Ordered_Maps;
with Ada.Containers.Vectors;
generic
package Bundles.Containers is
package Bundle_Vectors is new Ada.Containers.Vectors
(Index_Type => Positive,
Element_Type => Bundle);
package Bundle_Maps is new Ada.Containers.Ordered_Maps
(Key_Type => Candidates.CandidateID,
Element_Type => Bundle_Vectors.Vector,
"<" => Candidates."<",
"=" => Bundle_Vectors."=");
procedure Read_Bundles
(Filename : in String;
Result : out Bundle_Maps.Map);
end Bundles.Containers;
|