include/AD/rewrite/reduce.h

   1 //////////////////////////////////////////////////////////////////////////////
   2 // NOTICE:
   3 //
   4 // ADLib, Prop and their related set of tools and documentation are in the
   5 // public domain.   The author(s) of this software reserve no copyrights on
   6 // the source code and any code generated using the tools.  You are encouraged
   7 // to use ADLib and Prop to develop software, in both academic and commercial
   8 // settings, and are free to incorporate any part of ADLib and Prop into
   9 // your programs.
  10 //
  11 // Although you are under no obligation to do so, we strongly recommend that
  12 // you give away all software developed using our tools.
  13 //
  14 // We also ask that credit be given to us when ADLib and/or Prop are used in
  15 // your programs, and that this notice be preserved intact in all the source
  16 // code.
  17 //
  18 // This software is still under development and we welcome any suggestions
  19 // and help from the users.
  20 //
  21 // Allen Leung
  22 // 1994
  23 //////////////////////////////////////////////////////////////////////////////
  24
  25 #ifndef bottomup_prioritized_reducer_generator_h
  26 #define bottomup_prioritized_reducer_generator_h
  27
  28 #include <iostream.h>
  29 #include <AD/automata/treegen.h>  // bottom up tree matcher generator
  30
  31 //////////////////////////////////////////////////////////////////////////////
  32 //  This class implements prioritized bottom-up tree reducer generator
  33 //////////////////////////////////////////////////////////////////////////////
  34 class Reducer : public TreeGen {
  35
  36    Reducer(const Reducer&);            // no copy constructor
  37    void operator = (const Reducer&);   // no assignment
  38
  39 public:
  40
  41    ///////////////////////////////////////////////////////////////////////////
  42    // Constructor and destructor
  43    ///////////////////////////////////////////////////////////////////////////
  44             Reducer();
  45    virtual ~Reducer();
  46
  47    ///////////////////////////////////////////////////////////////////////////
  48    // Code emission
  49    ///////////////////////////////////////////////////////////////////////////
  50    ostream& gen_code(ostream&, const char []) const;
  51 };
  52
  53 #endif