app/willard/proj.ph

   1 #ifndef projection_recognition_h
   2 #define projection_recognition_h
   3
   4 #include "paige.ph"
   5
   6 ///////////////////////////////////////////////////////////////////////////////
   7 //
   8 //   This class implements the projection recognition phase
   9 //
  10 ///////////////////////////////////////////////////////////////////////////////
  11 rewrite class Projection (Exp, List<Exp>, Literal) : virtual public PaigeGoyal
  12 {
  13 public:
  14             Projection();
  15    virtual ~Projection();
  16
  17    virtual Exp projection_recognition(Exp);
  18 protected:
  19    Exp make_projection(const IdSet&, Ids xs, Exps Xs, Exp pred, Exp exp);
  20 };
  21
  22 #endif