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 Source #

Constructors

Statistics 

Fields

Instances

Instances details
Show Statistics Source # 
Instance details

Defined in Static.CheckGlobalContext

Methods

showsPrec :: Int -> Statistics -> ShowS

show :: Statistics -> String

showList :: [Statistics] -> ShowS

initStat :: Statistics Source #

incrZeroSign :: Statistics -> Statistics Source #

incrWrongSign :: Statistics -> Statistics Source #

incrRightSign :: Statistics -> Statistics Source #

incrZeroG_theory :: Statistics -> Statistics Source #

incrWrongG_theory :: Statistics -> Statistics Source #

incrRightG_theory :: Statistics -> Statistics Source #

incrZeroGMorphism :: Statistics -> Statistics Source #

incrWrongGMorphism :: Statistics -> Statistics Source #

incrRightGMorphism :: Statistics -> Statistics Source #

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

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

checkG_theoryInNodes :: DGraph -> State Statistics () Source #

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

getDGLinkLab :: DGraph -> [DGLinkLab] Source #

getDGNodeLab :: DGraph -> [DGNodeLab] Source #

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

checkGMorphismInNodes :: DGraph -> State Statistics () Source #

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

checkGMorphismInEdges :: DGraph -> State Statistics () Source #

checkDGraph :: DGraph -> State Statistics () Source #

printStatistics :: DGraph -> String Source #