1 ///////////////////////////////////////////////////////////////////////////////
2 // This file is generated automatically using Prop (version 2.3.5),
3 // last updated on Jun 18, 1997.
4 // The original source file is "willard.pcc".
5 ///////////////////////////////////////////////////////////////////////////////
7 #define PROP_REWRITING_USED
8 #define PROP_STRCMP_USED
9 #define PROP_PARSER_USED
10 #define PROP_QUARK_USED
11 #define PROP_TUPLE2_USED
15 #include <AD/pretty/postream.h>
16 #include "willard-ast.h"
21 Willard::~Willard() {}
34 S
<< "Input:" << newline
<< q
<< newline
;
38 S
<< "Output:" << newline
<< q
<< newline
;
40 cerr
<< "Cons = " << ConsCounter::count
<< '\n';
43 #line 30 "willard.pcc"
45 ------------------------------- Statistics -------------------------------
46 Merge matching rules = yes
47 Number of DFA nodes merged = 0
48 Number of ifs generated = 0
49 Number of switches generated = 0
52 Adaptive matching = disabled
53 Fast string matching = disabled
54 Inline downcasts = disabled
55 --------------------------------------------------------------------------