Hets - the Heterogeneous Tool Set

Copyright(c) Jianchun Wang, C. Maeder, Uni Bremen 2002-2007
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Static.CheckGlobalContext

Description

compare indices from development graphs to the corresponding maps of the global context

Documentation

data Statistics

Constructors

Statistics 

Fields

zeroSign :: SigId
 
wrongSign :: SigId
 
rightSign :: SigId
 
zeroMor :: MorId
 
wrongMor :: MorId
 
rightMor :: MorId
 
zeroTh :: ThId
 
wrongTh :: ThId
 
rightTh :: ThId
 

Instances

initStat :: Statistics

incrZeroSign :: Statistics -> Statistics

incrWrongSign :: Statistics -> Statistics

incrRightSign :: Statistics -> Statistics

incrZeroG_theory :: Statistics -> Statistics

incrWrongG_theory :: Statistics -> Statistics

incrRightG_theory :: Statistics -> Statistics

incrZeroGMorphism :: Statistics -> Statistics

incrWrongGMorphism :: Statistics -> Statistics

incrRightGMorphism :: Statistics -> Statistics

checkG_theory :: G_theory -> DGraph -> State Statistics ()

checkG_theoryInNode :: DGraph -> DGNodeLab -> State Statistics ()

checkG_theoryInNodes :: DGraph -> State Statistics ()

checkGMorphism :: GMorphism -> DGraph -> State Statistics ()

getDGLinkLab :: DGraph -> [DGLinkLab]

getDGNodeLab :: DGraph -> [DGNodeLab]

checkGMorphismInNode :: DGraph -> DGNodeLab -> State Statistics ()

checkGMorphismInNodes :: DGraph -> State Statistics ()

checkGMorphismInEdge :: DGraph -> DGLinkLab -> State Statistics ()

checkGMorphismInEdges :: DGraph -> State Statistics ()

checkDGraph :: DGraph -> State Statistics ()

printStatistics :: DGraph -> String