verigraph-docs/doc-index-C.html at gh-pages · Verites/verigraph-docs · GitHub

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 - C)</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 - C</p><table><tr><td class="src">calculateCoequalizer</td><td class="module"><a href="Abstract-Cocomplete.html#v:calculateCoequalizer">Abstract.Cocomplete</a></td></tr><tr><td class="src">calculateComatch</td><td class="module"><a href="Abstract-DPO.html#v:calculateComatch">Abstract.DPO</a></td></tr><tr><td class="src">calculateCommutativeSquares</td><td class="module"><a href="Abstract-AdhesiveHLR.html#v:calculateCommutativeSquares">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">calculateCommutativeSquaresAlongMonomorphism</td><td class="module"><a href="Abstract-AdhesiveHLR.html#v:calculateCommutativeSquaresAlongMonomorphism">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">calculateCoproduct</td><td class="module"><a href="Abstract-Cocomplete.html#v:calculateCoproduct">Abstract.Cocomplete</a></td></tr><tr><td class="src">calculateDPO</td><td class="module"><a href="Abstract-DPO.html#v:calculateDPO">Abstract.DPO</a></td></tr><tr><td class="src">calculateEqualizer</td><td class="module"><a href="Abstract-Complete.html#v:calculateEqualizer">Abstract.Complete</a></td></tr><tr><td class="src">calculateInitialPushout</td><td class="module"><a href="Abstract-AdhesiveHLR.html#v:calculateInitialPushout">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">calculateNacRelations</td><td class="module"><a href="TypedGraph-DPO-GraphProcess.html#v:calculateNacRelations">TypedGraph.DPO.GraphProcess</a></td></tr><tr><td class="src">calculateNCoequalizer</td><td class="module"><a href="Abstract-Cocomplete.html#v:calculateNCoequalizer">Abstract.Cocomplete</a></td></tr><tr><td class="src">calculateNCoproduct</td><td class="module"><a href="Abstract-Cocomplete.html#v:calculateNCoproduct">Abstract.Cocomplete</a></td></tr><tr><td class="src">calculateNEqualizer</td><td class="module"><a href="Abstract-Complete.html#v:calculateNEqualizer">Abstract.Complete</a></td></tr><tr><td class="src">calculateNProduct</td><td class="module"><a href="Abstract-Complete.html#v:calculateNProduct">Abstract.Complete</a></td></tr><tr><td class="src">calculateProcess</td><td class="module"><a href="Abstract-DPO-Process.html#v:calculateProcess">Abstract.DPO.Process</a>, <a href="Abstract-DPO.html#v:calculateProcess">Abstract.DPO</a></td></tr><tr><td class="src">calculateProduct</td><td class="module"><a href="Abstract-Complete.html#v:calculateProduct">Abstract.Complete</a></td></tr><tr><td class="src">calculatePullback</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Abstract-Complete.html#v:calculatePullback">Abstract.Complete</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Abstract-AdhesiveHLR.html#v:calculatePullback">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">calculatePushout</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Abstract-Cocomplete.html#v:calculatePushout">Abstract.Cocomplete</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Abstract-AdhesiveHLR.html#v:calculatePushout">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">calculatePushoutComplement</td><td class="module"><a href="Abstract-AdhesiveHLR.html#v:calculatePushoutComplement">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">calculateRulesColimit</td><td class="module"><a href="Abstract-DPO-Process.html#v:calculateRulesColimit">Abstract.DPO.Process</a>, <a href="Abstract-DPO.html#v:calculateRulesColimit">Abstract.DPO</a>, <a href="Analysis-Processes.html#v:calculateRulesColimit">Analysis.Processes</a></td></tr><tr><td class="src">Cardinality</td><td class="module"><a href="Abstract-Cardinality.html#t:Cardinality">Abstract.Cardinality</a></td></tr><tr><td class="src">cardinality</td><td class="module"><a href="Abstract-Cardinality.html#v:cardinality">Abstract.Cardinality</a></td></tr><tr><td class="src">check</td><td class="module"><a href="Logic-Ctl.html#v:check">Logic.Ctl</a></td></tr><tr><td class="src">checkDeletion</td><td class="module"><a href="TypedGraph-Morphism.html#v:checkDeletion">TypedGraph.Morphism</a>, <a href="TypedGraph-DPO-GraphRule.html#v:checkDeletion">TypedGraph.DPO.GraphRule</a></td></tr><tr><td class="src">Cocomplete</td><td class="module"><a href="Abstract-Cocomplete.html#t:Cocomplete">Abstract.Cocomplete</a></td></tr><tr><td class="src">codomain</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Abstract-Relation.html#v:codomain">Abstract.Relation</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Abstract-Morphism.html#v:codomain">Abstract.Morphism</a>, <a href="Abstract-AdhesiveHLR.html#v:codomain">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">comatch</td><td class="module"><a href="Abstract-DPO.html#v:comatch">Abstract.DPO</a></td></tr><tr><td class="src">comatches</td><td class="module"><a href="Analysis-CriticalPairs.html#v:comatches">Analysis.CriticalPairs</a></td></tr><tr><td class="src">Complete</td><td class="module"><a href="Abstract-Complete.html#t:Complete">Abstract.Complete</a></td></tr><tr><td class="src">compose</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Abstract-Relation.html#v:compose">Abstract.Relation</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Abstract-Morphism.html#v:compose">Abstract.Morphism</a>, <a href="Abstract-AdhesiveHLR.html#v:compose">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">concreteRelation</td><td class="module"><a href="TypedGraph-DPO-GraphProcess.html#v:concreteRelation">TypedGraph.DPO.GraphProcess</a></td></tr><tr><td class="src">Constraint</td><td class="module"><a href="Abstract-Constraint.html#t:Constraint">Abstract.Constraint</a>, <a href="Abstract-AdhesiveHLR.html#t:Constraint">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">constraints</td><td class="module"><a href="Grammar-Core.html#v:constraints">Grammar.Core</a></td></tr><tr><td class="src">consumer</td><td class="module"><a href="Grammar-Core.html#v:consumer">Grammar.Core</a></td></tr><tr><td class="src">coreObject</td><td class="module"><a href="Abstract-DPO-Process.html#v:coreObject">Abstract.DPO.Process</a>, <a href="Abstract-DPO.html#v:coreObject">Abstract.DPO</a></td></tr><tr><td class="src">cpe</td><td class="module"><a href="Analysis-Interlevel-EvolutionarySpans.html#v:cpe">Analysis.Interlevel.EvolutionarySpans</a></td></tr><tr><td class="src">cpType</td><td class="module"><a href="Analysis-CriticalPairs.html#v:cpType">Analysis.CriticalPairs</a></td></tr><tr><td class="src">CRDependencies</td><td class="module"><a href="Analysis-ConcurrentRules.html#t:CRDependencies">Analysis.ConcurrentRules</a></td></tr><tr><td class="src">createAllSubobjects</td><td class="module"><a href="Abstract-AdhesiveHLR.html#v:createAllSubobjects">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">createdEdges</td><td class="module"><a href="TypedGraph-DPO-GraphRule.html#v:createdEdges">TypedGraph.DPO.GraphRule</a></td></tr><tr><td class="src">createdNodes</td><td class="module"><a href="TypedGraph-DPO-GraphRule.html#v:createdNodes">TypedGraph.DPO.GraphRule</a></td></tr><tr><td class="src">createEdgeOnCodomain</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Graph-GraphMorphism.html#v:createEdgeOnCodomain">Graph.GraphMorphism</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="TypedGraph-Morphism.html#v:createEdgeOnCodomain">TypedGraph.Morphism</a></td></tr><tr><td class="src">createEdgeOnDomain</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Graph-GraphMorphism.html#v:createEdgeOnDomain">Graph.GraphMorphism</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="TypedGraph-Morphism.html#v:createEdgeOnDomain">TypedGraph.Morphism</a></td></tr><tr><td class="src">createJointlyEpimorphicPairs</td><td class="module"><a href="Abstract-AdhesiveHLR.html#v:createJointlyEpimorphicPairs">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">createJointlyEpimorphicPairsFromNAC</td><td class="module"><a href="Abstract-AdhesiveHLR.html#v:createJointlyEpimorphicPairsFromNAC">Abstract.AdhesiveHLR</a></td></tr><tr><td class="src">createNodeOnCodomain</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Graph-GraphMorphism.html#v:createNodeOnCodomain">Graph.GraphMorphism</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="TypedGraph-Morphism.html#v:createNodeOnCodomain">TypedGraph.Morphism</a></td></tr><tr><td class="src">createNodeOnDomain</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Graph-GraphMorphism.html#v:createNodeOnDomain">Graph.GraphMorphism</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="TypedGraph-Morphism.html#v:createNodeOnDomain">TypedGraph.Morphism</a></td></tr><tr><td class="src">CreateScheme</td><td class="module"><a href="SndOrder-Morphism-NACmanipulation.html#t:CreateScheme">SndOrder.Morphism.NACmanipulation</a></td></tr><tr><td class="src">createStep</td><td class="module"><a href="SndOrder-Morphism-NACmanipulation.html#v:createStep">SndOrder.Morphism.NACmanipulation</a></td></tr><tr><td class="src">creationAndDeletionRelation</td><td class="module"><a href="TypedGraph-DPO-GraphProcess.html#v:creationAndDeletionRelation">TypedGraph.DPO.GraphProcess</a></td></tr><tr><td class="src">CriticalPair</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Analysis-CriticalPairs.html#t:CriticalPair">Analysis.CriticalPairs</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Analysis-CriticalPairs.html#v:CriticalPair">Analysis.CriticalPairs</a></td></tr><tr><td class="src">CriticalPairType</td><td class="module"><a href="Analysis-CriticalPairs.html#t:CriticalPairType">Analysis.CriticalPairs</a></td></tr><tr><td class="src">CriticalSequence</td><td class="module"><a href="Analysis-CriticalSequence.html#t:CriticalSequence">Analysis.CriticalSequence</a></td></tr><tr><td class="src">CriticalSequenceType</td><td class="module"><a href="Analysis-CriticalSequence.html#t:CriticalSequenceType">Analysis.CriticalSequence</a></td></tr><tr><td class="src">Ctx</td><td class="module"><a href="Image-Dot.html#v:Ctx">Image.Dot</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>