diff options
| -rw-r--r-- | src/directed_graphs.ads | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/src/directed_graphs.ads b/src/directed_graphs.ads index 873a793..854bf8e 100644 --- a/src/directed_graphs.ads +++ b/src/directed_graphs.ads @@ -587,7 +587,23 @@ package Directed_Graphs is private - -- Put Inline Pragmas here + pragma Inline (Append_Label); + pragma Inline (Assign); + pragma Inline (Context); + pragma Inline (Copy); + pragma Inline (Degree); + pragma Inline (Delete_Label); + pragma Inline (Element); + pragma Inline (Has_Element); + pragma Inline (Has_Label); + pragma Inline (Has_Labeled_Edge); + pragma Inline (Has_Neighbor); + pragma Inline (Is_Empty); + pragma Inline (Label); + pragma Inline (Labeled_Context); + pragma Inline (Move); + pragma Inline (Replace_Label); + pragma Inline (To_Cursor); |