-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathdoc-index-R.html
4 lines (4 loc) · 10.2 KB
/
doc-index-R.html
1
2
3
4
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>verigraph-1.1.1: Software specification and verification tool based on graph rewriting. (Index - R)</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">verigraph-1.1.1: Software specification and verification tool based on graph rewriting.</p></div><div id="content"><div id="alphabet"><ul><li><a href="doc-index-A.html">A</a></li><li><a href="doc-index-B.html">B</a></li><li><a href="doc-index-C.html">C</a></li><li><a href="doc-index-D.html">D</a></li><li><a href="doc-index-E.html">E</a></li><li><a href="doc-index-F.html">F</a></li><li><a href="doc-index-G.html">G</a></li><li><a href="doc-index-H.html">H</a></li><li><a href="doc-index-I.html">I</a></li><li><a href="doc-index-K.html">K</a></li><li><a href="doc-index-L.html">L</a></li><li><a href="doc-index-M.html">M</a></li><li><a href="doc-index-N.html">N</a></li><li><a href="doc-index-O.html">O</a></li><li><a href="doc-index-P.html">P</a></li><li><a href="doc-index-R.html">R</a></li><li><a href="doc-index-S.html">S</a></li><li><a href="doc-index-T.html">T</a></li><li><a href="doc-index-U.html">U</a></li><li><a href="doc-index-V.html">V</a></li><li><a href="doc-index-W.html">W</a></li><li><a href="doc-index-X.html">X</a></li><li><a href="doc-index-All.html">All</a></li></ul></div><div id="index"><p class="caption">Index - R</p><table><tr><td class="src">randomEdgeIdOf</td><td class="module"><a href="Graph-QuickCheck.html#v:randomEdgeIdOf">Graph.QuickCheck</a></td></tr><tr><td class="src">randomEdgeInContextOf</td><td class="module"><a href="Graph-QuickCheck.html#v:randomEdgeInContextOf">Graph.QuickCheck</a></td></tr><tr><td class="src">randomEdgeOf</td><td class="module"><a href="Graph-QuickCheck.html#v:randomEdgeOf">Graph.QuickCheck</a></td></tr><tr><td class="src">randomGraph</td><td class="module"><a href="Graph-QuickCheck.html#v:randomGraph">Graph.QuickCheck</a></td></tr><tr><td class="src">randomNodeIdOf</td><td class="module"><a href="Graph-QuickCheck.html#v:randomNodeIdOf">Graph.QuickCheck</a></td></tr><tr><td class="src">randomNodeInContextOf</td><td class="module"><a href="Graph-QuickCheck.html#v:randomNodeInContextOf">Graph.QuickCheck</a></td></tr><tr><td class="src">randomNodeOf</td><td class="module"><a href="Graph-QuickCheck.html#v:randomNodeOf">Graph.QuickCheck</a></td></tr><tr><td class="src">rc</td><td class="module"><a href="Abstract-Constraint.html#v:rc">Abstract.Constraint</a>, <a href="Abstract-AdhesiveHLR.html#v:rc">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">reachableGraphs</td><td class="module"><a href="Grammar-Core.html#v:reachableGraphs">Grammar.Core</a></td></tr><tr><td class="src">readGGName</td><td class="module"><a href="XML-GGXReader.html#v:readGGName">XML.GGXReader</a></td></tr><tr><td class="src">readGrammar</td><td class="module"><a href="XML-GGXReader.html#v:readGrammar">XML.GGXReader</a></td></tr><tr><td class="src">readGraphs</td><td class="module"><a href="XML-GGXReader.html#v:readGraphs">XML.GGXReader</a></td></tr><tr><td class="src">readName</td><td class="module"><a href="XML-GGXReader.html#v:readName">XML.GGXReader</a></td></tr><tr><td class="src">readNames</td><td class="module"><a href="XML-GGXReader.html#v:readNames">XML.GGXReader</a></td></tr><tr><td class="src">readRules</td><td class="module"><a href="XML-GGXReader.html#v:readRules">XML.GGXReader</a></td></tr><tr><td class="src">readSequences</td><td class="module"><a href="XML-GGXReader.html#v:readSequences">XML.GGXReader</a></td></tr><tr><td class="src">readSequencesWithObjectFlow</td><td class="module"><a href="XML-GGXReader.html#v:readSequencesWithObjectFlow">XML.GGXReader</a></td></tr><tr><td class="src">readTypeGraph</td><td class="module"><a href="XML-GGXReader.html#v:readTypeGraph">XML.GGXReader</a></td></tr><tr><td class="src">reflectIdsFromCodomain</td><td class="module"><a href="TypedGraph-Morphism.html#v:reflectIdsFromCodomain">TypedGraph.Morphism</a></td></tr><tr><td class="src">reflectIdsFromDomains</td><td class="module"><a href="TypedGraph-Morphism.html#v:reflectIdsFromDomains">TypedGraph.Morphism</a></td></tr><tr><td class="src">reflectIdsFromTypeGraph</td><td class="module"><a href="TypedGraph-Morphism.html#v:reflectIdsFromTypeGraph">TypedGraph.Morphism</a></td></tr><tr><td class="src">relatedItens</td><td class="module"><a href="TypedGraph-DPO-OccurenceRelation.html#v:relatedItens">TypedGraph.DPO.OccurenceRelation</a></td></tr><tr><td class="src">Relation</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Abstract-Relation.html#t:Relation">Abstract.Relation</a></td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">TypedGraph.DPO.OccurenceRelation</a></td></tr><tr><td class="src">RelationItem</td><td class="module"><a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">TypedGraph.DPO.OccurenceRelation</a></td></tr><tr><td class="src">relationToString</td><td class="module"><a href="TypedGraph-DPO-OccurenceRelation.html#v:relationToString">TypedGraph.DPO.OccurenceRelation</a></td></tr><tr><td class="src">RemoveDangling</td><td class="module"><a href="Analysis-CriticalSequence.html#v:RemoveDangling">Analysis.CriticalSequence</a></td></tr><tr><td class="src">removeEdge</td><td class="module"><a href="Graph-Graph.html#v:removeEdge">Graph.Graph</a></td></tr><tr><td class="src">removeEdgeFromCodomain</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Graph-GraphMorphism.html#v:removeEdgeFromCodomain">Graph.GraphMorphism</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="TypedGraph-Morphism.html#v:removeEdgeFromCodomain">TypedGraph.Morphism</a></td></tr><tr><td class="src">removeEdgeFromDomain</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Graph-GraphMorphism.html#v:removeEdgeFromDomain">Graph.GraphMorphism</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="TypedGraph-Morphism.html#v:removeEdgeFromDomain">TypedGraph.Morphism</a></td></tr><tr><td class="src">removeFromCodomain</td><td class="module"><a href="Abstract-Relation.html#v:removeFromCodomain">Abstract.Relation</a></td></tr><tr><td class="src">removeFromDomain</td><td class="module"><a href="Abstract-Relation.html#v:removeFromDomain">Abstract.Relation</a></td></tr><tr><td class="src">removeNode</td><td class="module"><a href="Graph-Graph.html#v:removeNode">Graph.Graph</a></td></tr><tr><td class="src">removeNodeAndIncidentEdges</td><td class="module"><a href="Graph-Graph.html#v:removeNodeAndIncidentEdges">Graph.Graph</a></td></tr><tr><td class="src">removeNodeForced</td><td class="module"><a href="Graph-Graph.html#v:removeNodeForced">Graph.Graph</a></td></tr><tr><td class="src">removeNodeFromCodomain</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Graph-GraphMorphism.html#v:removeNodeFromCodomain">Graph.GraphMorphism</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="TypedGraph-Morphism.html#v:removeNodeFromCodomain">TypedGraph.Morphism</a></td></tr><tr><td class="src">removeNodeFromDomain</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Graph-GraphMorphism.html#v:removeNodeFromDomain">Graph.GraphMorphism</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="TypedGraph-Morphism.html#v:removeNodeFromDomain">TypedGraph.Morphism</a></td></tr><tr><td class="src">removeNodeFromDomainForced</td><td class="module"><a href="Graph-GraphMorphism.html#v:removeNodeFromDomainForced">Graph.GraphMorphism</a></td></tr><tr><td class="src">restrictionToString</td><td class="module"><a href="TypedGraph-DPO-OccurenceRelation.html#v:restrictionToString">TypedGraph.DPO.OccurenceRelation</a></td></tr><tr><td class="src">restrictMorphism</td><td class="module"><a href="Abstract-DPO-Process.html#v:restrictMorphism">Abstract.DPO.Process</a>, <a href="Abstract-DPO.html#v:restrictMorphism">Abstract.DPO</a></td></tr><tr><td class="src">restrictMorphisms</td><td class="module"><a href="Abstract-DPO-Process.html#v:restrictMorphisms">Abstract.DPO.Process</a>, <a href="Abstract-DPO.html#v:restrictMorphisms">Abstract.DPO</a></td></tr><tr><td class="src">restrictRelation</td><td class="module"><a href="TypedGraph-DPO-GraphProcess.html#v:restrictRelation">TypedGraph.DPO.GraphProcess</a></td></tr><tr><td class="src">rewrite</td><td class="module"><a href="Abstract-DPO.html#v:rewrite">Abstract.DPO</a></td></tr><tr><td class="src">rightMatch</td><td class="module"><a href="Analysis-Interlevel-EvolutionarySpans.html#v:rightMatch">Analysis.Interlevel.EvolutionarySpans</a></td></tr><tr><td class="src">Rule</td><td class="module"><a href="TypedGraph-DPO-OccurenceRelation.html#v:Rule">TypedGraph.DPO.OccurenceRelation</a></td></tr><tr><td class="src">RuleMorphism</td><td class="module"><a href="SndOrder-Morphism.html#t:RuleMorphism">SndOrder.Morphism</a></td></tr><tr><td class="src">ruleMorphism</td><td class="module"><a href="SndOrder-Morphism.html#v:ruleMorphism">SndOrder.Morphism</a></td></tr><tr><td class="src">rules</td><td class="module"><a href="Grammar-Core.html#v:rules">Grammar.Core</a></td></tr><tr><td class="src">RuleSequence</td><td class="module"><a href="Grammar-Core.html#t:RuleSequence">Grammar.Core</a></td></tr><tr><td class="src">runStateSpaceBuilder</td><td class="module"><a href="Abstract-DPO-StateSpace.html#v:runStateSpaceBuilder">Abstract.DPO.StateSpace</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>