diff options
| author | Camil Staps | 2016-07-05 17:25:10 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-07-05 17:25:10 +0200 |
| commit | ceb0b74bd0b368124679378ebfb2cf316deb2e39 (patch) | |
| tree | 7f5c562952bcf0427d838274177123765fe93cf5 /ABC/GraphStore.dcl | |
| parent | ProgramStore as array for efficiency (diff) | |
Added Machine as module level
Diffstat (limited to 'ABC/GraphStore.dcl')
| -rw-r--r-- | ABC/GraphStore.dcl | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/ABC/GraphStore.dcl b/ABC/GraphStore.dcl deleted file mode 100644 index 108a77e..0000000 --- a/ABC/GraphStore.dcl +++ /dev/null @@ -1,25 +0,0 @@ -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 |