docs/refman.log

   1 This is TeX, Version 3.1415 (C version 6.1) (format=lplain 95.5.17)  7 APR 1997 13:48
   2 **refman.tex
   3 (refman.tex
   4 LaTeX2e <1994/06/01> patch level 3
   5 \@indexfile=\write4
   6 Writing index file refman.idx
   7 (/usr/local/lib/texmf/tex/latex/latex/article.cls
   8 Document Class: article 1994/07/13 v1.2u Standard LaTeX document class
   9 (/usr/local/lib/texmf/tex/latex/latex/size10.clo
  10 File: size10.clo 1994/07/13 v1.2u Standard LaTeX file (size option)
  11 )
  12 \c@part=\count82
  13 \c@section=\count83
  14 \c@subsection=\count84
  15 \c@subsubsection=\count85
  16 \c@paragraph=\count86
  17 \c@subparagraph=\count87
  18 \c@figure=\count88
  19 \c@table=\count89
  20 \abovecaptionskip=\skip41
  21 \belowcaptionskip=\skip42
  22 \bibindent=\dimen102
  23 ) (html.sty
  24 Package: html 1996/02/01 v1.0 hypertext commands for latex2html (nd, hws)
  25 \c@lpart=\count90
  26 \c@lchapter=\count91
  27 \c@lsection=\count92
  28 \c@lsubsection=\count93
  29 \c@lsubsubsection=\count94
  30 \c@lparagraph=\count95
  31 \c@lsubparagraph=\count96
  32 \c@lsubsubparagraph=\count97
  33 \c@lequation=\count98
  34 \ptrfile=\write5
  35 )
  36 \LINE=\box25
  37  (refman.aux)
  38 LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 119.
  39 LaTeX Font Info:    ... okay on input line 119.
  40 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 119.
  41 LaTeX Font Info:    ... okay on input line 119.
  42 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 119.
  43 LaTeX Font Info:    ... okay on input line 119.
  44 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 119.
  45 LaTeX Font Info:    ... okay on input line 119.
  46 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 119.
  47 LaTeX Font Info:    ... okay on input line 119.
  48 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 119.
  49 LaTeX Font Info:    ... okay on input line 119.
  50 LaTeX Info: Redefining \" on input line 119.
  51 LaTeX Info: Redefining \" on input line 119.
  52 LaTeX Font Info:    External font `cmex10' loaded for size
  53 (Font)              <12> on input line 121.
  54 LaTeX Font Info:    External font `cmex10' loaded for size
  55 (Font)              <8> on input line 121.
  56 LaTeX Font Info:    External font `cmex10' loaded for size
  57 (Font)              <6> on input line 121.
  58
  59 [1
  60
  61 ] (refman.toc
  62 LaTeX Font Info:    External font `cmex10' loaded for size
  63 (Font)              <7> on input line 2.
  64 LaTeX Font Info:    External font `cmex10' loaded for size
  65 (Font)              <5> on input line 2.
  66  [1] [2])
  67 \tf@toc=\write6
  68  [3] [4]
  69 Overfull \hbox (0.76413pt too wide) in paragraph at lines 217--232
  70  []
  71  []
  72
  73 [5] [6] [7] [8]
  74 Overfull \hbox (19.86139pt too wide) in paragraph at lines 502--525
  75 [][]
  76  []
  77
  78 [9] [10] [11] [12] [13] [14]
  79 Overfull \hbox (18.85365pt too wide) in paragraph at lines 870--883
  80 [][]
  81  []
  82
  83 [15] [16] [17] [18] [19] [20] [21] [22]
  84 Overfull \hbox (39.70605pt too wide) in paragraph at lines 1441--1451
  85 [][]
  86  []
  87
  88 [23] [24] [25] [26] [27] [28] [29]
  89 Overfull \hbox (42.1975pt too wide) in paragraph at lines 1896--1898
  90 []\OT1/cmr/m/n/10 For ex-am-ple, the fol-low-ing state-ment de-clares the per-s
  91 is-tent ob-ject id for type []\OT1/cmtt/m/n/10 Exp \OT1/cmr/m/n/10 above to be
  92 []\OT1/cmtt/m/n/10 "Simple expressions"\OT1/cmr/m/n/10 .
  93  []
  94
  95 [30] [31] [32] [33] [34] [35] [36]
  96 Overfull \hbox (58.87152pt too wide) in paragraph at lines 2255--2273
  97 [][]
  98  []
  99
 100 [37] [38] [39] [40] [41] [42] [43] [44] [45] [46]
 101 Overfull \hbox (54.05748pt too wide) in paragraph at lines 2979--2984
 102 []\OT1/cmr/m/n/10 Given an in-put term of the form []\OT1/cmtt/m/n/10 FORALL(X,
 103 A,Not(P))\OT1/cmr/m/n/10 , the term will first be re-duced to []\OT1/cmtt/m/n/1
 104 0 Not(EXISTS(X,A,Not(Not(P))))
 105  []
 106
 107 [47] [48] [49] [50] [51] [52] [53]
 108 Overfull \hbox (19.1988pt too wide) in paragraph at lines 3334--3339
 109 []\OT1/cmr/m/n/10 The graph struc-ture map-ping pro-cess uses real-time set ma-
 110 chine simulation[[]] and sub-type analysis[[]]
 111  []
 112
 113 [54] [55] [56]
 114 Underfull \hbox (badness 10000) in paragraph at lines 3482--3482
 115 []\OT1/cmtt/m/n/10 Sorry: pattern not supported in
 116  []
 117
 118
 119 Underfull \hbox (badness 10000) in paragraph at lines 3487--3487
 120 []\OT1/cmtt/m/n/10 accessor is undefined for view pattern:
 121  []
 122
 123
 124 Underfull \hbox (badness 10000) in paragraph at lines 3489--3489
 125 []\OT1/cmtt/m/n/10 arity mismatch (expecting $\OML/cmm/m/it/10 n$\OT1/cmtt/m/n/
 126 10 ) in pattern:
 127  []
 128
 129
 130 Underfull \hbox (badness 10000) in paragraph at lines 3509--3509
 131 []\OT1/cmtt/m/n/10 constructor \OT1/cmtt/m/it/10 con \OT1/cmtt/m/n/10 doesn't t
 132 ake labeled
 133  []
 134
 135 [57]
 136 Underfull \hbox (badness 10000) in paragraph at lines 3523--3523
 137 []\OT1/cmtt/m/n/10 duplicated definition of pattern
 138  []
 139
 140
 141 Underfull \hbox (badness 10000) in paragraph at lines 3529--3529
 142 []\OT1/cmtt/m/n/10 duplicated pattern variable '\OT1/cmtt/m/it/10 id\OT1/cmtt/m
 143 /n/10 '. Use
 144  []
 145
 146
 147 Underfull \hbox (badness 10000) in paragraph at lines 3536--3536
 148 []\OT1/cmtt/m/n/10 expecting $\OML/cmm/m/it/10 c[]$ \OT1/cmtt/m/n/10 ... $\OML/
 149 cmm/m/it/10 c[]$ \OT1/cmtt/m/n/10 (from line $\OML/cmm/m/it/10 l$\OT1/cmtt/m/n/
 150 10 ) but
 151  []
 152
 153
 154 Underfull \hbox (badness 10000) in paragraph at lines 3537--3537
 155 []\OT1/cmtt/m/n/10 expecting non-terminal \OT1/cmtt/m/it/10 nt \OT1/cmtt/m/n/10
 156  to have type $\OML/cmm/m/it/10 t[]$
 157  []
 158
 159
 160 Underfull \hbox (badness 10000) in paragraph at lines 3541--3541
 161 []\OT1/cmtt/m/n/10 expecting type $\OML/cmm/m/it/10 t[]$ \OT1/cmtt/m/n/10 but f
 162 ound $\OML/cmm/m/it/10 t[]$ \OT1/cmtt/m/n/10 in pattern
 163  []
 164
 165
 166 Underfull \hbox (badness 10000) in paragraph at lines 3547--3547
 167 []\OT1/cmtt/m/n/10 flexible vector pattern currently not
 168  []
 169
 170
 171 Underfull \hbox (badness 10000) in paragraph at lines 3549--3549
 172 []\OT1/cmtt/m/n/10 format #$\OML/cmm/m/it/10 l$ \OT1/cmtt/m/n/10 used on non-re
 173 cord constructor
 174  []
 175
 176
 177 Underfull \hbox (badness 10000) in paragraph at lines 3558--3558
 178 []\OT1/cmtt/m/n/10 illegal print format '$\OML/cmm/m/it/10 c$\OT1/cmtt/m/n/10 '
 179  in constructor
 180  []
 181
 182
 183 Underfull \hbox (badness 10000) in paragraph at lines 3559--3559
 184 []\OT1/cmtt/m/n/10 illegal record label '$\OML/cmm/m/it/10 l$\OT1/cmtt/m/n/10 '
 185  in expression:
 186  []
 187
 188
 189 Underfull \hbox (badness 10000) in paragraph at lines 3562--3562
 190 []\OT1/cmtt/m/n/10 inherited attribute '\OT1/cmtt/m/it/10 type\OT1/cmtt/m/n/10
 191 ' can only be
 192  []
 193
 194
 195 Underfull \hbox (badness 10000) in paragraph at lines 3562--3562
 196 \OT1/cmtt/m/n/10 used in treeparser mode in rewrite class
 197  []
 198
 199 [58]
 200 Underfull \hbox (badness 10000) in paragraph at lines 3569--3569
 201 []\OT1/cmtt/m/n/10 law '\OT1/cmtt/m/it/10 id\OT1/cmtt/m/n/10 ': bound variable
 202 '$\OML/cmm/m/it/10 v$\OT1/cmtt/m/n/10 ' is absent
 203  []
 204
 205
 206 Underfull \hbox (badness 10000) in paragraph at lines 3572--3572
 207 []\OT1/cmtt/m/n/10 law '\OT1/cmtt/m/it/10 id\OT1/cmtt/m/n/10 ': type \OT1/cmtt/
 208 m/it/10 type \OT1/cmtt/m/n/10 cannot be used in
 209  []
 210
 211
 212 Underfull \hbox (badness 10000) in paragraph at lines 3578--3578
 213 []\OT1/cmtt/m/n/10 lexeme pattern is undefined for
 214  []
 215
 216
 217 Underfull \hbox (badness 10000) in paragraph at lines 3588--3588
 218 []\OT1/cmtt/m/n/10 missing non-terminal in tree grammar
 219  []
 220
 221
 222 Underfull \hbox (badness 10000) in paragraph at lines 3589--3589
 223 []\OT1/cmtt/m/n/10 missing type \OT1/cmtt/m/it/10 type \OT1/cmtt/m/n/10 in the
 224 traversal list
 225  []
 226
 227
 228 Underfull \hbox (badness 10000) in paragraph at lines 3594--3594
 229 []\OT1/cmtt/m/n/10 missing type info in expression \OT1/cmtt/m/it/10 exp \OT1/c
 230 mtt/m/n/10 :
 231  []
 232
 233
 234 Underfull \hbox (badness 10000) in paragraph at lines 3605--3605
 235 []\OT1/cmtt/m/n/10 multiple mixed polarity pattern variable
 236  []
 237
 238
 239 Underfull \hbox (badness 10000) in paragraph at lines 3607--3607
 240 []\OT1/cmtt/m/n/10 multiple unit constructors in polymorphic
 241  []
 242
 243 [59]
 244 Underfull \hbox (badness 10000) in paragraph at lines 3618--3618
 245 []\OT1/cmtt/m/n/10 pattern variable '$\OML/cmm/m/it/10 v$\OT1/cmtt/m/n/10 ' has
 246  no binding at
 247  []
 248
 249
 250 Underfull \hbox (badness 10000) in paragraph at lines 3620--3620
 251 []\OT1/cmtt/m/n/10 persistence pid \OT1/cmtt/m/it/10 name \OT1/cmtt/m/n/10 alre
 252 ady allocated
 253  []
 254
 255
 256 Underfull \hbox (badness 10000) in paragraph at lines 3623--3623
 257 []\OT1/cmtt/m/n/10 predicate \OT1/cmtt/m/it/10 p\OT1/cmtt/m/n/10 : expecting ty
 258 pe $\OML/cmm/m/it/10 t[]$ \OT1/cmtt/m/n/10 but found
 259  []
 260
 261
 262 Underfull \hbox (badness 10000) in paragraph at lines 3628--3628
 263 []\OT1/cmtt/m/n/10 replacement not in rewrite class:
 264  []
 265
 266
 267 Underfull \hbox (badness 10000) in paragraph at lines 3636--3636
 268 []\OT1/cmtt/m/n/10 synthesized attribute '\OT1/cmtt/m/it/10 type\OT1/cmtt/m/n/1
 269 0 ' can only be
 270  []
 271
 272
 273 Underfull \hbox (badness 10000) in paragraph at lines 3636--3636
 274 \OT1/cmtt/m/n/10 used in treeparser mode in rewrite class
 275  []
 276
 277
 278 Underfull \hbox (badness 10000) in paragraph at lines 3637--3637
 279 []\OT1/cmtt/m/n/10 the class representation of constructor
 280  []
 281
 282
 283 Underfull \hbox (badness 10000) in paragraph at lines 3640--3640
 284 []\OT1/cmtt/m/n/10 too few arguments \OT1/cmtt/m/it/10 arg \OT1/cmtt/m/n/10 in
 285 instantiation of
 286  []
 287
 288
 289 Underfull \hbox (badness 10000) in paragraph at lines 3641--3641
 290 []\OT1/cmtt/m/n/10 too many arguments \OT1/cmtt/m/it/10 arg \OT1/cmtt/m/n/10 in
 291  instantiation
 292  []
 293
 294 [60]
 295 Underfull \hbox (badness 10000) in paragraph at lines 3651--3651
 296 []\OT1/cmtt/m/n/10 type '\OT1/cmtt/m/it/10 type\OT1/cmtt/m/n/10 ' is not rewrit
 297 able in
 298  []
 299
 300
 301 Underfull \hbox (badness 10000) in paragraph at lines 3656--3656
 302 []\OT1/cmtt/m/n/10 type mismatch between nonterminal \OT1/cmtt/m/it/10 nt\OT1/c
 303 mtt/m/n/10 (type
 304  []
 305
 306
 307 Underfull \hbox (badness 10000) in paragraph at lines 3664--3664
 308 []\OT1/cmtt/m/n/10 unification fails occurs check with $\OML/cmm/m/it/10 t[]$
 309  []
 310
 311 [61] [62] [63] [64] [65] [66]
 312 Overfull \hbox (9.0171pt too wide) in paragraph at lines 3989--3994
 313 []\OT1/cmr/m/n/10 Each col-lec-tor has a cur-rent ver-bosity level, which can b
 314 e set and re-set us-ing the meth-ods []\OT1/cmtt/m/n/10 set_verbosity(int)
 315  []
 316
 317
 318 Overfull \hbox (6.82849pt too wide) in paragraph at lines 4021--4024
 319 \OT1/cmr/m/n/10 Currently a Bartlett-style mostly copy-ing col-lec-tor has been
 320  im-ple-mented. The cur-rent ver-sion is non-generational
 321  []
 322
 323 [67] [68] [69] [70]
 324 Overfull \hbox (9.53024pt too wide) in paragraph at lines 4241--4243
 325 [][]\OT1/cmr/m/n/10 Method []\OT1/cmtt/m/n/10 number_of_nodes() \OT1/cmr/m/n/10
 326  re-turns the node count of the last struc-ture traced us-ing []\OT1/cmtt/m/n/1
 327 0 is_valid_structure\OT1/cmr/m/n/10 ,
 328  []
 329
 330 (refman.bbl) (refman.ind [71] [72
 331
 332 ] [73]) (refman.aux) )
 333 Here is how much of TeX's memory you used:
 334  524 strings out of 10971
 335  5311 string characters out of 67312
 336  58201 words of memory out of 262141
 337  3383 multiletter control sequences out of 9500
 338  19404 words of font info for 59 fonts, out of 100000 for 255
 339  14 hyphenation exceptions out of 607
 340  23i,9n,20p,182b,344s stack positions out of 300i,40n,60p,3000b,4000s
 341
 342 Output written on refman.dvi (74 pages, 305320 bytes).