diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2020-04-28 01:00:15 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2020-04-28 01:00:15 +1000 |
| commit | 902eab7f70be354b04763b17752971c7e10f65bc (patch) | |
| tree | e6577756b20c595e3695bf485297e678032943d7 /src/directed_graphs.adb | |
| parent | 05d903360247c57cd0db740ff1cb04ee39a1cb2e (diff) | |
Abandoned isomorphism function
Diffstat (limited to 'src/directed_graphs.adb')
| -rw-r--r-- | src/directed_graphs.adb | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/directed_graphs.adb b/src/directed_graphs.adb index 61d704a..82b6bff 100644 --- a/src/directed_graphs.adb +++ b/src/directed_graphs.adb @@ -1286,20 +1286,6 @@ package body Directed_Graphs is - ---------------- - -- Isomorphic -- - ---------------- - - function Isomorphic - (Left, Right : in Cursor) - return Boolean is - begin - return False; - end Isomorphic; - - - - ------------- -- Iterate -- ------------- |