diff options
Diffstat (limited to 'psl/psl-hash.ads')
-rw-r--r-- | psl/psl-hash.ads | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/psl/psl-hash.ads b/psl/psl-hash.ads new file mode 100644 index 000000000..d1a60c971 --- /dev/null +++ b/psl/psl-hash.ads @@ -0,0 +1,11 @@ +with Types; use Types; +with PSL.Nodes; use PSL.Nodes; + +package PSL.Hash is + -- Initialize the package. + procedure Init; + + -- Get the PSL node for node HDL. + -- Only one PSL node is created for an HDL node. + function Get_PSL_Node (Hdl : Int32) return Node; +end PSL.Hash; |