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