Commit c44c1a84 authored by Vincent Zweije's avatar Vincent Zweije
Browse files

This commit was generated by cvs2svn to compensate for changes in r626,

which included commits to RCS files with non-trunk default branches.
parent 07aaa7a2
......@@ -95,32 +95,6 @@ actualfold deltanodes rnfnodes foldarea self foldcont hist rule
argnodes = varlist rgraph` rargs
foldednodes = map fst list3
/*
> findoccs
> :: [(***,graph * ***)] ->
> rule * ** ->
> ** ->
> [((***,graph * ***),[(***,**)])]
> findoccs hist rule rnode
> = [ ((hroot,hgraph),mapping)
> | ((hroot,hgraph),(seen,mapping,[]))<-list1 || Find instantiable history rgraphs...
> ; unshared rnode (hroot,hgraph) mapping || ...which don't have shared contents...
>|| ; ~self hroot rnode || ...and aren't the history graph itself
> ]
> where rargs = lhs rule; rroot = rhs rule; rgraph = rulegraph rule
> list1
> = [((hroot,hgraph),inst (hroot,hgraph))|(hroot,hgraph)<-hist]
> where inst (hroot,hgraph)
> = instantiate (hgraph,rgraph) (hroot,rnode) ([],[],[])
> || list1: all instantiation attempts at rnode with the history rgraphs
> unshared rnode (hroot,hgraph) mapping
> = disjoint inner outer
> where inner = map (lookup mapping) (fst (nodeset hgraph [hroot]))
> outer = nodelist (prunegraph rnode rgraph) (rroot:rargs)--[rnode]
*/
findoccs ::
[(pvar,Graph sym pvar)]
(Rule sym var)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment