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 #

Instances

Show Statistics Source # 

Methods

showsPrec :: Int -> Statistics -> ShowS

show :: Statistics -> String

showList :: [Statistics] -> ShowS