From b3f1e3ff0404a5182b6eed2d88014b4b4fbd69c2 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 1 Jul 2016 19:37:38 +0200 Subject: Moved to directory, added test program --- ABC/GraphStore.dcl | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 ABC/GraphStore.dcl (limited to 'ABC/GraphStore.dcl') diff --git a/ABC/GraphStore.dcl b/ABC/GraphStore.dcl new file mode 100644 index 0000000..108a77e --- /dev/null +++ b/ABC/GraphStore.dcl @@ -0,0 +1,25 @@ +definition module ABC.GraphStore + +from StdOverloaded import class toString +from ABC.Def import ::Arity, ::InstrId, ::Name, ::APEntry, ::DescId, ::NodeId +from ABC.Nodes import ::Node + +:: Desc = Desc APEntry Arity Name + +d_ap_entry :: Desc -> InstrId +d_arity :: Desc -> Arity +d_name :: Desc -> String + +:: DescStore (:== [Desc]) + +ds_get :: DescId DescStore -> Desc +ds_init :: [Desc] -> DescStore + +:: GraphStore + +show_graphstore :: GraphStore DescStore -> String + +gs_get :: NodeId GraphStore -> Node +gs_init :: GraphStore +gs_newnode :: GraphStore -> (GraphStore, NodeId) +gs_update :: NodeId (Node -> Node) GraphStore -> GraphStore -- cgit v1.2.3