2 \item {\tt PROP\relax \_EXPLICIT\relax \_TEMPLATE\relax \_INSTANTIATION},
8 \subitem {\tt BGC}, 64, 68
10 \subitem {\tt GCHeapManager}, 64
11 \subitem {\tt GCObject}, 64, 66
12 \subitem {\tt GCRewriteCache}, 44
13 \subitem {\tt GCVerifier}, 66
14 \subitem {\tt GCVerify}, 70
15 \subitem {\tt GC}, 64--66, 68, 70
16 \subitem {\tt IOLexerBuffer}, 12
17 \subitem {\tt IOLexerStack}, 12
18 \subitem {\tt LexerBuffer}, 11
19 \subitem {\tt MarkSweepGC}, 64
20 \subitem {\tt Mem}, 64
21 \subitem {\tt RewriteCache}, 44
22 \subitem {\tt WeakPointerManager}, 64
23 \subitem {\tt WeakPointer}, 70
24 \item Command line options
25 \subitem {\tt -G -GNU}, 56
26 \subitem {\tt -I{\em path}}, 56
27 \subitem {\tt -M -make\relax \_depends}, 56
28 \subitem {\tt -N -non\relax \_linear}, 56
29 \subitem {\tt -Oadaptive\relax \_matching}, 56
30 \subitem {\tt -Ofast\relax \_string\relax \_match}, 56
31 \subitem {\tt -Oinline\relax \_casts}, 56
32 \subitem {\tt -Orewriting}, 47, 56
33 \subitem {\tt -Otagged\relax \_pointer}, 56
34 \subitem {\tt -S -save\relax \_space}, 57
35 \subitem {\tt -fno-implicit-templates}, 25
36 \subitem {\tt -l -no\relax \_line\relax \_directives}, 56
37 \subitem {\tt -memory\relax \_usage}, 56
38 \subitem {\tt -n -no\relax \_codegen}, 56
39 \subitem {\tt -o{\em outfile}}, 56
40 \subitem {\tt -r -report}, 56
42 \subitem {\tt -s -strict}, 56
43 \subitem {\tt -save\relax \_space}, 25
44 \subitem {\tt -t -stdout}, 57
45 \subitem {\tt -use\relax \_global\relax \_pool}, 57
46 \subitem {\tt -v{\em num}}, 57
55 \item state caching, 42
58 \subsubitem {\tt \relax \$$n$}, 16
59 \subsubitem {\tt \relax \$\relax \$}, 16
60 \subsubitem {\tt applicative}, 37
61 \subsubitem {\tt before:}, 38
62 \subsubitem {\tt bottomup:}, 38
63 \subsubitem {\tt classof}, 28, 70
64 \subsubitem {\tt collectable}, 23, 29
65 \subsubitem {\tt cutrewrite}, 45
66 \subsubitem {\tt datatype view}, 49
67 \subsubitem {\tt datatype}, 9, 23
68 \subsubitem {\tt edge:}, 54
69 \subsubitem {\tt expect:}, 14
70 \subsubitem {\tt extern}, 23, 25, 42
71 \subsubitem {\tt failrewrite}, 46
72 \subsubitem {\tt graphtype}, 54
73 \subsubitem {\tt index:}, 42
74 \subsubitem {\tt inline}, 23, 25
75 \subsubitem {\tt instantiate datatype}, 25, 30, 57
76 \subsubitem {\tt instantiate}, 25
77 \subsubitem {\tt law}, 23
78 \subsubitem {\tt left:}, 14
79 \subsubitem {\tt lexeme class}, 8, 9
80 \subsubitem {\tt lexeme}, 8, 9, 23
81 \subsubitem {\tt matchall}, 25
82 \subsubitem {\tt matchscan*}, 10
83 \subsubitem {\tt matchscan}, 10
84 \subsubitem {\tt match}, 25, 50
85 \subsubitem {\tt node:}, 54
86 \subsubitem {\tt persistent}, 23, 30
87 \subsubitem {\tt postorder:}, 38
88 \subsubitem {\tt preorder:}, 38
89 \subsubitem {\tt refine persistent}, 30
90 \subsubitem {\tt refine}, 28
91 \subsubitem {\tt relation}, 32
92 \subsubitem {\tt rewrite class}, 37
93 \subsubitem {\tt rewrite}, 23, 37, 41, 42
94 \subsubitem {\tt right:}, 14
95 \subsubitem {\tt syntax class}, 13
96 \subsubitem {\tt syntax}, 14
97 \subsubitem {\tt this}, 50
98 \subsubitem {\tt topdown:}, 38
99 \subsubitem {\tt topdown}, 37
100 \subsubitem {\tt treeparser}, 37
101 \subsubitem {\tt type}, 41
102 \subsubitem {\tt view}, 50, 53
103 \subsubitem {\tt where type}, 23
104 \subsubitem {\tt while}, 26
105 \subsubitem {\tt with}, 27
106 \subitem Non--terminals
107 \subsubitem {\it Char}, 5
108 \subsubitem {\it Cons\relax \_Specs}, 23
109 \subsubitem {\it Cons\relax \_Spec}, 23
110 \subsubitem {\it Context\relax \_Spec}, 10
111 \subsubitem {\it Cost}, 25
112 \subsubitem {\it Datatype\relax \_Decl}, 23
113 \subsubitem {\it Datatype\relax \_Qualifiers}, 23
114 \subsubitem {\it Datatype\relax \_Qualifier}, 23
115 \subsubitem {\it Datatype\relax \_Spec}, 23, 53
116 \subsubitem {\it Datatype\relax \_View\relax \_Spec}, 53
117 \subsubitem {\it Edge\relax \_Def}, 54
118 \subsubitem {\it Expect\relax \_Decl}, 14
119 \subsubitem {\it Graph\relax \_Mode}, 54
120 \subsubitem {\it Graph\relax \_Type}, 54
121 \subsubitem {\it Guard}, 25
122 \subsubitem {\it Id}, 5
123 \subsubitem {\it Index\relax \_Decl}, 42
124 \subsubitem {\it Index\relax \_Spec}, 42
125 \subsubitem {\it Instantiate\relax \_Decl}, 25
126 \subsubitem {\it Integer}, 5
127 \subsubitem {\it Lab\relax \_Pat}, 27
128 \subsubitem {\it Lab\relax \_Type\relax \_Exp}, 24
129 \subsubitem {\it Law\relax \_Arg}, 24
130 \subsubitem {\it Law\relax \_Spec}, 24
131 \subsubitem {\it Lexeme\relax \_Class\relax \_Decl}, 8
132 \subsubitem {\it Lexeme\relax \_Class\relax \_Eq}, 8
133 \subsubitem {\it Lexeme\relax \_Decl}, 8
134 \subsubitem {\it Lexeme\relax \_Eq}, 8
135 \subsubitem {\it Lexeme\relax \_Spec}, 8
136 \subsubitem {\it Match\relax \_Action}, 25
137 \subsubitem {\it Match\relax \_Mode}, 25
138 \subsubitem {\it Match\relax \_Rule}, 25
139 \subsubitem {\it Matchscan\relax \_Action}, 10
140 \subsubitem {\it Matchscan\relax \_Mode}, 10
141 \subsubitem {\it Matchscan\relax \_Rule}, 10
142 \subsubitem {\it Matchscan}, 10
143 \subsubitem {\it Match}, 25
144 \subsubitem {\it Node\relax \_Def}, 54
145 \subsubitem {\it One\relax \_Alt}, 15
146 \subsubitem {\it Operator}, 14
147 \subsubitem {\it PatArg}, 27
148 \subsubitem {\it Pat\relax \_Var}, 27
149 \subsubitem {\it Pat}, 27
150 \subsubitem {\it Placement\relax \_Cons}, 29
151 \subsubitem {\it Precedence\relax \_Decl}, 14
152 \subsubitem {\it Production\relax \_Rule}, 15
153 \subsubitem {\it Quark}, 5
154 \subsubitem {\it Real}, 5
155 \subsubitem {\it Refine\relax \_Decl}, 29
156 \subsubitem {\it Refine\relax \_Spec}, 29
157 \subsubitem {\it Rewrite\relax \_Action}, 37
158 \subsubitem {\it Rewrite\relax \_Class\relax \_Decl}, 37
159 \subsubitem {\it Rewrite\relax \_Decl}, 37
160 \subsubitem {\it Rewrite\relax \_Mode}, 37
161 \subsubitem {\it Rewrite\relax \_Modifier}, 37
162 \subsubitem {\it Rewrite\relax \_Rule}, 37
163 \subsubitem {\it Rewrite\relax \_Stmt}, 41
164 \subsubitem {\it Running\relax \_Prop}, 56
165 \subsubitem {\it Simple\relax \_Cons\relax \_Spec}, 23
166 \subsubitem {\it Stmt}, 5
167 \subsubitem {\it String}, 5
168 \subsubitem {\it Symbol}, 15
169 \subsubitem {\it Syntax\relax \_Class\relax \_Decl}, 13
170 \subsubitem {\it Syntax\relax \_Decl}, 14
171 \subsubitem {\it Token\relax \_Spec}, 9
172 \subsubitem {\it Tokens\relax \_Decl}, 9
173 \subsubitem {\it Type\relax \_Exp}, 24
174 \subsubitem {\it Type\relax \_Qualifier}, 24
175 \subsubitem {\it Type\relax \_Spec}, 24, 25
176 \subsubitem {\it View\relax \_Cons\relax \_Specs}, 53\end{theindex}