diff options
Diffstat (limited to 'src/directed_graphs.ads')
| -rw-r--r-- | src/directed_graphs.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/directed_graphs.ads b/src/directed_graphs.ads index c4d48f7..826455a 100644 --- a/src/directed_graphs.ads +++ b/src/directed_graphs.ads @@ -16,8 +16,6 @@ private with generic type Node_Type is (<>); - type Node_Array is array (Positive range <>) of Node_Type; - type Node_Label_Type is private; type Edge_Label_Type is private; @@ -36,14 +34,16 @@ generic package Directed_Graphs is - subtype Path is Node_Array; - subtype Extended_Node_Type is Node_Type'Base range Node_Type'Pred (Node_Type'First) .. Node_Type'Succ (Node_Type'Min (Node_Type'Base'Pred (Node_Type'Base'Last), Node_Type'Last)); No_Node : constant Extended_Node_Type := Extended_Node_Type'First; + type Node_Array is array (Positive range <>) of Node_Type; + + subtype Path is Node_Array; + |