-
Notifications
You must be signed in to change notification settings - Fork 1
/
mini_Abstract-DPO.html
4 lines (4 loc) · 4.05 KB
/
mini_Abstract-DPO.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>Abstract.DPO</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 id="mini"><div id="module-header"><p class="caption">Abstract.DPO</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">data</span> <a href="Abstract-DPO.html#t:Production" target="main">Production</a> m</p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:buildProduction" target="main">buildProduction</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:getLHS" target="main">getLHS</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:getRHS" target="main">getRHS</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:getNACs" target="main">getNACs</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Abstract-DPO.html#t:Derivation" target="main">Derivation</a> m</p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:generateDerivation" target="main">generateDerivation</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Abstract-DPO.html#t:Process" target="main">Process</a> m</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Abstract-DPO.html#t:GenerateProcess" target="main">GenerateProcess</a> m</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Abstract-DPO.html#t:MorphismsConfig" target="main">MorphismsConfig</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Abstract-DPO.html#t:MatchRestriction" target="main">MatchRestriction</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:matchRestrictionToMorphismType" target="main">matchRestrictionToMorphismType</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Abstract-DPO.html#t:NacSatisfaction" target="main">NacSatisfaction</a></p></div><h2>Application</h2><h3>Conditions</h3><div class="top"><p class="src"><span class="keyword">class</span> <a href="Abstract-DPO.html#t:DPO" target="main">DPO</a> m</p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:satisfiesGluingConditions" target="main">satisfiesGluingConditions</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:satisfiesNACs" target="main">satisfiesNACs</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:satisfiesRewritingConditions" target="main">satisfiesRewritingConditions</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:satisfyRewritingConditions" target="main">satisfyRewritingConditions</a></p></div><h3>Transformation</h3><div class="top"><p class="src"><a href="Abstract-DPO.html#v:findAllMatches" target="main">findAllMatches</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:findApplicableMatches" target="main">findApplicableMatches</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:calculateDPO" target="main">calculateDPO</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:calculateComatch" target="main">calculateComatch</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:rewrite" target="main">rewrite</a></p></div><h2>Manipulation</h2><div class="top"><p class="src"><a href="Abstract-DPO.html#v:invertProductionWithoutNacs" target="main">invertProductionWithoutNacs</a></p></div><div class="top"><p class="src"><a href="Abstract-DPO.html#v:nacDownwardShift" target="main">nacDownwardShift</a></p></div></div></body></html>