CheckGlobalContext.hs revision 12368e292c1abf7eaf975f20ee30ef7820ac5dd5
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederModule : $Header$
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederDescription : checking consistency of indices
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederCopyright : (c) Jianchun Wang, C. Maeder, Uni Bremen 2002-2007
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederMaintainer : Christian.Maeder@dfki.de
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederStability : provisional
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederPortability : non-portable(Logic)
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maedercompare indices from development graphs to the corresponding maps of
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maederthe global context
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maederdata Statistics = Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder { zeroSign, wrongSign, rightSign :: SigId
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder , zeroMor, wrongMor, rightMor :: MorId
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder , zeroTh, wrongTh, rightTh :: ThId }
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder deriving Show
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederinitStat :: Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederinitStat = Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder { zeroSign = startSigId
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder , wrongSign = startSigId
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder , rightSign = startSigId
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder , zeroMor = startMorId
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder , wrongMor = startMorId
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder , rightMor = startMorId
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder , zeroTh = startThId
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder , wrongTh = startThId
286f4deb69d3912337bb09dd7f81284d12912ce8Christian Maeder , rightTh = startThId }
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrZeroSign :: Statistics -> Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrZeroSign s = s { zeroSign = succ $ zeroSign s }
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrWrongSign :: Statistics -> Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrWrongSign s = s { wrongSign = succ $ wrongSign s }
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrRightSign ::Statistics -> Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrRightSign s = s { rightSign = succ $ rightSign s }
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrZeroG_theory :: Statistics -> Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrZeroG_theory s = s { zeroTh = succ $ zeroTh s }
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrWrongG_theory :: Statistics -> Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrWrongG_theory s = s { wrongTh = succ $ wrongTh s }
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrRightG_theory :: Statistics -> Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrRightG_theory s = s { rightTh = succ $ rightTh s }
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrZeroGMorphism :: Statistics -> Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrZeroGMorphism s = s { zeroMor = succ $ zeroMor s }
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrWrongGMorphism :: Statistics -> Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrWrongGMorphism s = s { wrongMor = succ $ wrongMor s }
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrRightGMorphism :: Statistics -> Statistics
286f4deb69d3912337bb09dd7f81284d12912ce8Christian MaederincrRightGMorphism s = s { rightMor = succ $ rightMor s }