src/AST/rewriter.h

   1 #ifndef REWRITER_H
   2 #define REWRITER_H
   3 #include "classlist.h"
   4
   5 void replaceBooleanWithTrue(CSolver * This, Boolean *bexpr);
   6 void replaceBooleanWithFalse(CSolver * This, Boolean *bexpr);
   7 void replaceBooleanWithBoolean(CSolver * This, Boolean *oldb, Boolean *newb);
   8 void handleXORTrue(BooleanLogic *bexpr, Boolean *child);
   9 void handleXORFalse(CSolver * This, BooleanLogic *bexpr, Boolean *child);
  10 void handleIMPLIESTrue(CSolver * This, BooleanLogic *bexpr, Boolean *child);
  11 void handleIMPLIESFalse(CSolver * This, BooleanLogic *bexpr, Boolean *child);
  12 void handleANDTrue(CSolver * This, BooleanLogic *bexpr, Boolean *child);
  13 void handleORFalse(CSolver * This, BooleanLogic *bexpr, Boolean *child);
  14
  15 #endif