-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathAnalysis-Processes.html
4 lines (4 loc) · 2.88 KB
/
Analysis-Processes.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>Analysis.Processes</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();setSynopsis("mini_Analysis-Processes.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Analysis.Processes.html">Source</a></li><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="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Analysis.Processes</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:generateGraphProcess" class="def">generateGraphProcess</a> :: <a href="Abstract-DPO-Process.html#t:GenerateProcess">GenerateProcess</a> m => <a href="Grammar-Core.html#t:RuleSequence">RuleSequence</a> m -> [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="Abstract-DPO.html#t:Production">Production</a> m)] <a href="src/Abstract.DPO.Process.html#generateGraphProcess" class="link">Source</a> <a href="#v:generateGraphProcess" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:calculateRulesColimit" class="def">calculateRulesColimit</a> :: <a href="Abstract-DPO-Process.html#t:GenerateProcess">GenerateProcess</a> m => <a href="Grammar-Core.html#t:RuleSequence">RuleSequence</a> m -> [<a href="Abstract-DPO-Process.html#t:NamedRuleWithMatches">NamedRuleWithMatches</a> m] <a href="src/Abstract.DPO.Process.html#calculateRulesColimit" class="link">Source</a> <a href="#v:calculateRulesColimit" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:findConflictsAndDependencies" class="def">findConflictsAndDependencies</a> :: <a href="Abstract-DPO-Process.html#t:GenerateProcess">GenerateProcess</a> m => [<a href="Abstract-DPO-Process.html#t:NamedRuleWithMatches">NamedRuleWithMatches</a> m] -> [<a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a>] <a href="src/Analysis.Processes.html#findConflictsAndDependencies" class="link">Source</a> <a href="#v:findConflictsAndDependencies" class="selflink">#</a></p></div></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>