15 type Rec (Discr : Boolean := True) is record
16 needs_update : Boolean;
19 when False => Value : T;
24 subtype Graph_Range is integer range 1..1665;
25 type arr is array (Graph_Range) of Coord.T;
27 package Inst is new Gen (arr);
29 subtype Index is integer range 1 .. 1;
31 type Graph_Node (Active : Boolean := False) is
39 Needs_Update : Boolean;
43 Null_Graph_Node : constant Graph_Node := (False, True);
44 type Graph_Table_T is array (Index) of Graph_Node;
46 Graph_Table : Graph_Table_T := (others => (Null_Graph_Node));
47 Graph_Table_1 : Graph_Table_T := (others => (False, True));