src/AST/predicate.h

   1 #ifndef PREDICATE_H
   2 #define PREDICATE_H
   3 #include "classlist.h"
   4 #include "mymemory.h"
   5 #include "ops.h"
   6 #include "astops.h"
   7 #include "structs.h"
   8 #include "common.h"
   9
  10 class Predicate {
  11 public:
  12         Predicate(PredicateType _type) : type(_type) {}
  13         virtual ~Predicate() {}
  14         virtual Predicate *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;}
  15         virtual void serialize(Serializer *serializer) = 0;
  16         virtual void print() = 0;
  17         PredicateType type;
  18         CMEMALLOC;
  19 };
  20
  21 class PredicateOperator : public Predicate {
  22 public:
  23         PredicateOperator(CompOp op);
  24         bool evalPredicateOperator(uint64_t *inputs);
  25         Predicate *clone(CSolver *solver, CloneMap *map);
  26         virtual void serialize(Serializer *serializer);
  27         virtual void print();
  28         CompOp getOp() {return op;}
  29         CMEMALLOC;
  30 private:
  31         CompOp op;
  32 };
  33
  34 class PredicateTable : public Predicate {
  35 public:
  36         PredicateTable(Table *table, UndefinedBehavior undefBehavior);
  37         Predicate *clone(CSolver *solver, CloneMap *map);
  38         virtual void serialize(Serializer *serializer);
  39         virtual void print();
  40         Table *table;
  41         UndefinedBehavior undefinedbehavior;
  42         CMEMALLOC;
  43 };
  44 #endif