app/willard/querygraph.ph

   1 #ifndef query_graph_h
   2 #define query_graph_h
   3
   4 #include "paige.ph"
   5 #include <AD/contain/varstack.h>
   6
   7 ///////////////////////////////////////////////////////////////////////////////
   8 //
   9 //   This class implements the query graph construction phase
  10 //
  11 ///////////////////////////////////////////////////////////////////////////////
  12 rewrite class QueryGraphConstruction (Exp, List<Exp>, Literal)
  13    : virtual public PaigeGoyal
  14 {
  15    Bool     preceeds(Id x, Id y) const; // check if x preceeds y in the
  16                                         // quantifier ordering.
  17 public:
  18             QueryGraphConstruction();
  19    virtual ~QueryGraphConstruction();
  20
  21    virtual Exp construct_query_graph(Exp);
  22 };
  23
  24 #endif