diff options
Diffstat (limited to 'src/synth/netlists.ads')
| -rw-r--r-- | src/synth/netlists.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/netlists.ads b/src/synth/netlists.ads index 0e7647b79..49c9144db 100644 --- a/src/synth/netlists.ads +++ b/src/synth/netlists.ads @@ -19,6 +19,7 @@ -- MA 02110-1301, USA. with Types; use Types; +with Hash; use Hash; package Netlists is -- Netlists. @@ -103,6 +104,9 @@ package Netlists is type Instance is private; No_Instance : constant Instance; + -- Hash INST (simply return its index). + function Hash (Inst : Instance) return Hash_Value_Type; + -- A net is an output of a gate or a sub-circuit. A net can be connected -- to several inputs. type Net is private; |