app/willard/phase5.h

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //  This file is generated automatically using Prop (version 2.3.5),
   3 //  last updated on Jun 18, 1997.
   4 //  The original source file is "phase5.ph".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #define PROP_REWRITING_USED
   8 #define PROP_STRCMP_USED
   9 #define PROP_QUARK_USED
  10 #define PROP_TUPLE2_USED
  11 #include <propdefs.h>
  12 #line 1 "phase5.ph"
  13 #ifndef phase5_h
  14 #define phase5_h
  15
  16 #include "paige.h"
  17
  18 ///////////////////////////////////////////////////////////////////////////////
  19 //
  20 //   This class implements the simple find/count query decomposition phase
  21 //
  22 ///////////////////////////////////////////////////////////////////////////////
  23 #line 11 "phase5.ph"
  24 #line 18 "phase5.ph"
  25 class Phase5 : public BURS, virtual public PaigeGoyal {
  26 private:
  27    Phase5(const Phase5&);               // no copy constructor
  28    void operator = (const Phase5&); // no assignment
  29 public:
  30    struct Phase5_StateRec * stack__, * stack_top__;
  31 public:
  32    void labeler(const char *, int&, int);
  33    void labeler(Quark, int&, int);
  34           void  labeler(Exp & redex, int&, int);
  35    inline virtual void  operator () (Exp & redex) { int s; labeler(redex,s,0); }
  36           void  labeler(a_List<Exp> *  & redex, int&, int);
  37    inline virtual void  operator () (a_List<Exp> *  & redex) { int s; labeler(redex,s,0); }
  38           void  labeler(Literal & redex, int&, int);
  39    inline virtual void  operator () (Literal & redex) { int s; labeler(redex,s,0); }
  40 private:
  41 #line 12 "phase5.ph"
  42
  43    public:
  44                Phase5();
  45       virtual ~Phase5();
  46
  47       virtual Exp phase5(Exp);
  48 #line 18 "phase5.ph"
  49 };
  50 #line 18 "phase5.ph"
  51 #line 18 "phase5.ph"
  52
  53
  54 #endif
  55 #line 21 "phase5.ph"
  56 /*
  57 ------------------------------- Statistics -------------------------------
  58 Merge matching rules         = yes
  59 Number of DFA nodes merged   = 0
  60 Number of ifs generated      = 0
  61 Number of switches generated = 0
  62 Number of labels             = 0
  63 Number of gotos              = 0
  64 Adaptive matching            = disabled
  65 Fast string matching         = disabled
  66 Inline downcasts             = disabled
  67 --------------------------------------------------------------------------
  68 */