-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathAbstract-DPO-Process.html
More file actions
10 lines (10 loc) · 25 KB
/
Copy pathAbstract-DPO-Process.html
File metadata and controls
10 lines (10 loc) · 25 KB
1
2
3
4
5
6
7
8
9
10
<!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>Abstract.DPO.Process</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_Abstract-DPO-Process.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Abstract.DPO.Process.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">Abstract.DPO.Process</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Process" class="def">Process</a> m <a href="src/Abstract.DPO.Process.html#Process" class="link">Source</a> <a href="#t:Process" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Process" class="def">Process</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:productions" class="def">productions</a> :: [<a href="Abstract-DPO.html#t:Production">Production</a> m]</dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:coreObject" class="def">coreObject</a> :: <a href="Abstract-Morphism.html#t:Obj">Obj</a> m</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Process" class="caption collapser" onclick="toggleSection('i:Process')">Instances</p><div id="section.i:Process" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Process:Eq:1" class="instance expander" onclick="toggleSection('i:id:Process:Eq:1')"></span> (<a href="../base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> m, <a href="../base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Abstract-Morphism.html#t:Obj">Obj</a> m)) => <a href="../base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Abstract-DPO-Process.html#t:Process">Process</a> m)</span> <a href="src/Abstract.DPO.Process.html#line-28" class="link">Source</a> <a href="#t:Process" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Process: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="Abstract-DPO-Process.html#t:Process">Process</a> m -> <a href="Abstract-DPO-Process.html#t:Process">Process</a> m -> <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="Abstract-DPO-Process.html#t:Process">Process</a> m -> <a href="Abstract-DPO-Process.html#t:Process">Process</a> m -> <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:Process:Show:2" class="instance expander" onclick="toggleSection('i:id:Process:Show:2')"></span> (<a href="../base-4.9.1.0/Text-Show.html#t:Show">Show</a> m, <a href="../base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Abstract-Morphism.html#t:Obj">Obj</a> m)) => <a href="../base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Abstract-DPO-Process.html#t:Process">Process</a> m)</span> <a href="src/Abstract.DPO.Process.html#line-32" class="link">Source</a> <a href="#t:Process" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Process: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="Abstract-DPO-Process.html#t:Process">Process</a> m -> <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="Abstract-DPO-Process.html#t:Process">Process</a> m -> <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="Abstract-DPO-Process.html#t:Process">Process</a> m] -> <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"><span class="keyword">class</span> <a href="Abstract-DPO.html#t:DPO">DPO</a> m => <a id="t:GenerateProcess" class="def">GenerateProcess</a> m <span class="keyword">where</span> <a href="src/Abstract.DPO.Process.html#GenerateProcess" class="link">Source</a> <a href="#t:GenerateProcess" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Abstract-DPO-Process.html#v:restrictMorphisms">restrictMorphisms</a>, <a href="Abstract-DPO-Process.html#v:restrictMorphism">restrictMorphism</a>, <a href="Abstract-DPO-Process.html#v:typing">typing</a>, <a href="Abstract-DPO-Process.html#v:productionTyping">productionTyping</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:restrictMorphisms" class="def">restrictMorphisms</a> :: (m, m) -> (m, m) <a href="src/Abstract.DPO.Process.html#restrictMorphisms" class="link">Source</a> <a href="#v:restrictMorphisms" class="selflink">#</a></p><div class="doc"><p>Given a pair of morhisms with common codomain, it returns a new pair with morphism also with a
a new codomain that does not contain the elements that were orphans in both original morphisms</p></div><p class="src"><a id="v:restrictMorphism" class="def">restrictMorphism</a> :: m -> m <a href="src/Abstract.DPO.Process.html#restrictMorphism" class="link">Source</a> <a href="#v:restrictMorphism" class="selflink">#</a></p><div class="doc"><p>Given a morhism, it returns a morphism with a new codomain that is equal to the image of the original
morphism</p></div><p class="src"><a id="v:typing" class="def">typing</a> :: (<a href="Abstract-DPO.html#t:Derivation">Derivation</a> m, (m, m, m)) -> <a href="Abstract-DPO.html#t:Production">Production</a> m <a href="src/Abstract.DPO.Process.html#typing" class="link">Source</a> <a href="#v:typing" class="selflink">#</a></p><div class="doc"><p>Given a Derivation <code>d</code> and a tuple <code>(p,q,r)</code> of Morphisms <code>p : G -> C</code>, <code>q : D -> C</code> and
<code>r : H -> C</code>, it returns a new Production corresponding to the production in <code>d</code> but
typed over C</p></div><p class="src"><a id="v:productionTyping" class="def">productionTyping</a> :: (<a href="Abstract-DPO.html#t:Production">Production</a> m, (m, m, m)) -> <a href="Abstract-DPO.html#t:Production">Production</a> m <a href="src/Abstract.DPO.Process.html#productionTyping" class="link">Source</a> <a href="#v:productionTyping" class="selflink">#</a></p><div class="doc"><p>Given a Production <code>p</code> and a tuple <code>(r,s,t)</code> of Morphisms <code>r : G -> C</code>, <code>s : D -> C</code> and
<code>t : H -> C</code>, it returns a new Production corresponding to the production in <code>p</code> but
typed over C</p></div><p class="src"><a id="v:calculateProcess" class="def">calculateProcess</a> :: [<a href="Abstract-DPO.html#t:Derivation">Derivation</a> m] -> <a href="Abstract-DPO-Process.html#t:Process">Process</a> m <a href="src/Abstract.DPO.Process.html#calculateProcess" class="link">Source</a> <a href="#v:calculateProcess" class="selflink">#</a></p><div class="doc"><p>Given a list of Derivation containing a sequential derivation, returns its corresponding Process</p></div><p class="src"><a id="v:calculateRulesColimit" class="def">calculateRulesColimit</a> :: <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><p class="src"><a id="v:generateGraphProcess" class="def">generateGraphProcess</a> :: <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><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:NamedRuleWithMatches" class="def">NamedRuleWithMatches</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, (m, m, m)) <a href="src/Abstract.DPO.Process.html#NamedRuleWithMatches" class="link">Source</a> <a href="#t:NamedRuleWithMatches" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Interaction" class="def">Interaction</a> <a href="src/Abstract.DPO.Process.html#Interaction" class="link">Source</a> <a href="#t:Interaction" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Interaction" class="def">Interaction</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:firstRule" class="def">firstRule</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:secondRule" class="def">secondRule</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:interactionType" class="def">interactionType</a> :: <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:nacInvolved" class="def">nacInvolved</a> :: <a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="../base-4.9.1.0/Data-Int.html#t:Int">Int</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Interaction" class="caption collapser" onclick="toggleSection('i:Interaction')">Instances</p><div id="section.i:Interaction" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interaction:Eq:1" class="instance expander" onclick="toggleSection('i:id:Interaction:Eq:1')"></span> <a href="../base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a></span> <a href="src/Abstract.DPO.Process.html#line-43" class="link">Source</a> <a href="#t:Interaction" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interaction: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="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</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="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</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:Interaction:Ord:2" class="instance expander" onclick="toggleSection('i:id:Interaction:Ord:2')"></span> <a href="../base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a></span> <a href="src/Abstract.DPO.Process.html#line-43" class="link">Source</a> <a href="#t:Interaction" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interaction:Ord:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="../base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> -> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Interaction:Show:3" class="instance expander" onclick="toggleSection('i:id:Interaction:Show:3')"></span> <a href="../base-4.9.1.0/Text-Show.html#t:Show">Show</a> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a></span> <a href="src/Abstract.DPO.Process.html#line-43" class="link">Source</a> <a href="#t:Interaction" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Interaction:Show:3" 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="Abstract-DPO-Process.html#t:Interaction">Interaction</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="Abstract-DPO-Process.html#t:Interaction">Interaction</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="Abstract-DPO-Process.html#t:Interaction">Interaction</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"><span class="keyword">data</span> <a id="t:InteractionType" class="def">InteractionType</a> <a href="src/Abstract.DPO.Process.html#InteractionType" class="link">Source</a> <a href="#t:InteractionType" 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:ProduceForbid" class="def">ProduceForbid</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:ProduceUse" class="def">ProduceUse</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:DeleteForbid" class="def">DeleteForbid</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:InteractionType" class="caption collapser" onclick="toggleSection('i:InteractionType')">Instances</p><div id="section.i:InteractionType" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:InteractionType:Eq:1" class="instance expander" onclick="toggleSection('i:id:InteractionType:Eq:1')"></span> <a href="../base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a></span> <a href="src/Abstract.DPO.Process.html#line-36" class="link">Source</a> <a href="#t:InteractionType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:InteractionType: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="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</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="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</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:InteractionType:Ord:2" class="instance expander" onclick="toggleSection('i:id:InteractionType:Ord:2')"></span> <a href="../base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a></span> <a href="src/Abstract.DPO.Process.html#line-36" class="link">Source</a> <a href="#t:InteractionType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:InteractionType:Ord:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="../base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> -> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a> <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:InteractionType:Show:3" class="instance expander" onclick="toggleSection('i:id:InteractionType:Show:3')"></span> <a href="../base-4.9.1.0/Text-Show.html#t:Show">Show</a> <a href="Abstract-DPO-Process.html#t:InteractionType">InteractionType</a></span> <a href="src/Abstract.DPO.Process.html#line-36" class="link">Source</a> <a href="#t:InteractionType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:InteractionType:Show:3" 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="Abstract-DPO-Process.html#t:InteractionType">InteractionType</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="Abstract-DPO-Process.html#t:InteractionType">InteractionType</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="Abstract-DPO-Process.html#t:InteractionType">InteractionType</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:getRule" class="def">getRule</a> :: <a href="Abstract-DPO-Process.html#t:NamedRuleWithMatches">NamedRuleWithMatches</a> m -> <a href="Abstract-DPO.html#t:Production">Production</a> m <a href="src/Abstract.DPO.Process.html#getRule" class="link">Source</a> <a href="#v:getRule" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:getName" class="def">getName</a> :: <a href="Abstract-DPO-Process.html#t:NamedRuleWithMatches">NamedRuleWithMatches</a> m -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Abstract.DPO.Process.html#getName" class="link">Source</a> <a href="#v:getName" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:getMatch" class="def">getMatch</a> :: <a href="Abstract-DPO-Process.html#t:NamedRuleWithMatches">NamedRuleWithMatches</a> m -> m <a href="src/Abstract.DPO.Process.html#getMatch" class="link">Source</a> <a href="#v:getMatch" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:getComatch" class="def">getComatch</a> :: <a href="Abstract-DPO-Process.html#t:NamedRuleWithMatches">NamedRuleWithMatches</a> m -> m <a href="src/Abstract.DPO.Process.html#getComatch" class="link">Source</a> <a href="#v:getComatch" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:filterInducedByNacs" class="def">filterInducedByNacs</a> :: [<a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a>] -> <a href="../containers-0.5.7.1/Data-Set.html#t:Set">Set</a> <a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a> <a href="src/Abstract.DPO.Process.html#filterInducedByNacs" class="link">Source</a> <a href="#v:filterInducedByNacs" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:eliminateSelfConflictsAndDependencies" class="def">eliminateSelfConflictsAndDependencies</a> :: [<a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a>] -> [<a href="Abstract-DPO-Process.html#t:Interaction">Interaction</a>] <a href="src/Abstract.DPO.Process.html#eliminateSelfConflictsAndDependencies" class="link">Source</a> <a href="#v:eliminateSelfConflictsAndDependencies" 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>