typename fix
[prop.git] / prop-src / rwmix.ph
blob9cb226c8f5043a33c97b4226c322155eb56ec323
1 ///////////////////////////////////////////////////////////////////////////////
2 //
3 //  This file defines the rewriting partial evaluator
4 //
5 ///////////////////////////////////////////////////////////////////////////////
6 #ifndef rewriting_mix_h
7 #define rewriting_mix_h
9 #include "ast.h"
10 #include "ir.h"
11 #include "rwgen.h"
13 ///////////////////////////////////////////////////////////////////////////////
15 //  The rewriting partial evaluator
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();
27    virtual void optimize_rewrite ();
30 #endif