summaryrefslogtreecommitdiff
path: root/src/psl/psl-hash.ads
blob: d1a60c9717209ce26ba3b6d5beec7ba513800633 (plain)
1
2
3
4
5
6
7
8
9
10
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;