prop-src/rwmix.ph

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  This file defines the rewriting partial evaluator
   4 //
   5 ///////////////////////////////////////////////////////////////////////////////
   6 #ifndef rewriting_mix_h
   7 #define rewriting_mix_h
   8
   9 #include "ast.h"
  10 #include "ir.h"
  11 #include "rwgen.h"
  12
  13 ///////////////////////////////////////////////////////////////////////////////
  14 //
  15 //  The rewriting partial evaluator
  16 //
  17 ///////////////////////////////////////////////////////////////////////////////
  18 class RewriteMix : public virtual RewritingCompiler
  19 {  RewriteMix (const RewriteMix&);     // no copy constructor
  20    void operator = (const RewriteMix&);  // no assignment
  21 private:
  22    int reduction_limit;
  23 public:
  24             RewriteMix();
  25    virtual ~RewriteMix();
  26
  27    virtual void optimize_rewrite ();
  28 };
  29
  30 #endif