-
Notifications
You must be signed in to change notification settings - Fork 1
/
Analysis-ParallelIndependent.html
5 lines (5 loc) · 9.14 KB
/
Analysis-ParallelIndependent.html
1
2
3
4
5
<!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.ParallelIndependent</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-ParallelIndependent.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Analysis.ParallelIndependent.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.ParallelIndependent</p></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">data</span> <a href="#t:Algorithm">Algorithm</a><ul class="subs"><li>= <a href="#v:DeleteUse">DeleteUse</a></li><li>| <a href="#v:Pullback">Pullback</a></li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:IndependenceType">IndependenceType</a><ul class="subs"><li>= <a href="#v:Parallel">Parallel</a></li><li>| <a href="#v:Sequentially">Sequentially</a></li></ul></li><li class="src short"><a href="#v:isIndependent">isIndependent</a> :: (<a href="Abstract-AdhesiveHLR.html#t:EpiPairs">EpiPairs</a> m, <a href="Abstract-DPO.html#t:DPO">DPO</a> m) => <a href="Analysis-ParallelIndependent.html#t:IndependenceType">IndependenceType</a> -> <a href="Analysis-ParallelIndependent.html#t:Algorithm">Algorithm</a> -> <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="Abstract-DPO.html#t:Production">Production</a> m -> <a href="Abstract-DPO.html#t:Production">Production</a> m -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:pbTest">pbTest</a> :: (<a href="Abstract-AdhesiveHLR.html#t:AdhesiveHLR">AdhesiveHLR</a> m, <a href="Abstract-Morphism.html#t:FindMorphism">FindMorphism</a> m) => <a href="Abstract-DPO.html#t:Production">Production</a> m -> <a href="Abstract-DPO.html#t:Production">Production</a> m -> m -> m -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:findIsoFromDomains">findIsoFromDomains</a> :: <a href="Abstract-Morphism.html#t:FindMorphism">FindMorphism</a> m => m -> m -> [m]</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Algorithm" class="def">Algorithm</a> <a href="src/Analysis.ParallelIndependent.html#Algorithm" class="link">Source</a> <a href="#t:Algorithm" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:DeleteUse" class="def">DeleteUse</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Pullback" class="def">Pullback</a></td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:IndependenceType" class="def">IndependenceType</a> <a href="src/Analysis.ParallelIndependent.html#IndependenceType" class="link">Source</a> <a href="#t:IndependenceType" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Parallel" class="def">Parallel</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Sequentially" class="def">Sequentially</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IndependenceType" class="caption collapser" onclick="toggleSection('i:IndependenceType')">Instances</p><div id="section.i:IndependenceType" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IndependenceType:Eq:1" class="instance expander" onclick="toggleSection('i:id:IndependenceType:Eq:1')"></span> <a href="../base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="Analysis-ParallelIndependent.html#t:IndependenceType">IndependenceType</a></span> <a href="src/Analysis.ParallelIndependent.html#line-10" class="link">Source</a> <a href="#t:IndependenceType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IndependenceType:Eq:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Analysis-ParallelIndependent.html#t:IndependenceType">IndependenceType</a> -> <a href="Analysis-ParallelIndependent.html#t:IndependenceType">IndependenceType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Analysis-ParallelIndependent.html#t:IndependenceType">IndependenceType</a> -> <a href="Analysis-ParallelIndependent.html#t:IndependenceType">IndependenceType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:IndependenceType:Show:2" class="instance expander" onclick="toggleSection('i:id:IndependenceType:Show:2')"></span> <a href="../base-4.9.1.0/Text-Show.html#t:Show">Show</a> <a href="Analysis-ParallelIndependent.html#t:IndependenceType">IndependenceType</a></span> <a href="src/Analysis.ParallelIndependent.html#line-10" class="link">Source</a> <a href="#t:IndependenceType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:IndependenceType:Show:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="../base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Analysis-ParallelIndependent.html#t:IndependenceType">IndependenceType</a> -> <a href="../base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Analysis-ParallelIndependent.html#t:IndependenceType">IndependenceType</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Analysis-ParallelIndependent.html#t:IndependenceType">IndependenceType</a>] -> <a href="../base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:isIndependent" class="def">isIndependent</a> :: (<a href="Abstract-AdhesiveHLR.html#t:EpiPairs">EpiPairs</a> m, <a href="Abstract-DPO.html#t:DPO">DPO</a> m) => <a href="Analysis-ParallelIndependent.html#t:IndependenceType">IndependenceType</a> -> <a href="Analysis-ParallelIndependent.html#t:Algorithm">Algorithm</a> -> <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="Abstract-DPO.html#t:Production">Production</a> m -> <a href="Abstract-DPO.html#t:Production">Production</a> m -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Analysis.ParallelIndependent.html#isIndependent" class="link">Source</a> <a href="#v:isIndependent" class="selflink">#</a></p><div class="doc"><p>Checks if two transformations are independent (just delete-use),
works with delete-use or pullback checking.</p></div></div><div class="top"><p class="src"><a id="v:pbTest" class="def">pbTest</a> :: (<a href="Abstract-AdhesiveHLR.html#t:AdhesiveHLR">AdhesiveHLR</a> m, <a href="Abstract-Morphism.html#t:FindMorphism">FindMorphism</a> m) => <a href="Abstract-DPO.html#t:Production">Production</a> m -> <a href="Abstract-DPO.html#t:Production">Production</a> m -> m -> m -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Analysis.ParallelIndependent.html#pbTest" class="link">Source</a> <a href="#v:pbTest" class="selflink">#</a></p><div class="doc"><p>Checks independence between transformations via pullback tests</p></div></div><div class="top"><p class="src"><a id="v:findIsoFromDomains" class="def">findIsoFromDomains</a> :: <a href="Abstract-Morphism.html#t:FindMorphism">FindMorphism</a> m => m -> m -> [m] <a href="src/Analysis.ParallelIndependent.html#findIsoFromDomains" class="link">Source</a> <a href="#v:findIsoFromDomains" 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>