app/willard/phase5.ph

   1 #ifndef phase5_h
   2 #define phase5_h
   3
   4 #include "paige.ph"
   5
   6 ///////////////////////////////////////////////////////////////////////////////
   7 //
   8 //   This class implements the simple find/count query decomposition phase
   9 //
  10 ///////////////////////////////////////////////////////////////////////////////
  11 rewrite class Phase5 (Exp, List<Exp>, Literal) : virtual public PaigeGoyal
  12 {
  13 public:
  14             Phase5();
  15    virtual ~Phase5();
  16
  17    virtual Exp phase5(Exp);
  18 };
  19
  20 #endif