| Copyright | (c) Christian Maeder and DFKI GmbH 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(Logic) |
| Safe Haskell | None |
Static.ComputeTheory
Description
compute the theory of a node
- computeTheory :: LibEnv -> LibName -> Node -> Maybe G_theory
- globalNodeTheory :: DGraph -> Node -> Maybe G_theory
- getGlobalTheory :: DGNodeLab -> Result G_theory
- theoremsToAxioms :: G_theory -> G_theory
- computeDGraphTheories :: LibEnv -> DGraph -> DGraph
- computeLibEnvTheories :: LibEnv -> LibEnv
- computeLabelTheory :: LibEnv -> DGraph -> LNode DGNodeLab -> Maybe G_theory
- updateLabelTheory :: LibEnv -> DGraph -> LNode DGNodeLab -> G_theory -> DGraph
- markHiding :: LibEnv -> DGraph -> DGraph
- markFree :: LibEnv -> DGraph -> DGraph
- renumberDGLinks :: EdgeId -> EdgeId -> DGraph -> DGraph
- getImportNames :: DGraph -> Node -> [String]
Documentation
globalNodeTheory :: DGraph -> Node -> Maybe G_theory
theoremsToAxioms :: G_theory -> G_theory
computeDGraphTheories :: LibEnv -> DGraph -> DGraph
markHiding :: LibEnv -> DGraph -> DGraph
markFree :: LibEnv -> DGraph -> DGraph
mark all nodes if they have incoming hiding edges. Assume reference nodes to other libraries being properly marked already.
renumberDGLinks :: EdgeId -> EdgeId -> DGraph -> DGraph
iterate all edgeId entries of the dg and increase all that are equal or above the old lId (1st param) so they will be above the desired nextLId (2nd param)
getImportNames :: DGraph -> Node -> [String]