app/willard/willard.pcc

   1 #include <iostream.h>
   2 #include <AD/pretty/postream.h>
   3 #include "willard-ast.ph"
   4 #include "parser.ph"
   5 #include "willard.ph"
   6
   7 Willard::Willard() {}
   8 Willard::~Willard() {}
   9
  10 int main()
  11 {  QueryParser P;
  12
  13    Exp q = P.read();
  14
  15    PrettyOStream S;
  16
  17    Willard W;
  18
  19    W.set_log(cout);
  20
  21    S << "Input:" << newline << q << newline;
  22
  23    q = W.decompose(q);
  24
  25    S << "Output:" << newline << q << newline;
  26
  27    cerr << "Cons = " << ConsCounter::count << '\n';
  28    return 0;
  29 }