concretepredicate.h

   1 #ifndef __CONCRETE_PREDICATE_H__
   2 #define __CONCRETE_PREDICATE_H__
   3
   4 #include <inttypes.h>
   5 #include "modeltypes.h"
   6 #include "classlist.h"
   7 #include "predicatetypes.h"
   8
   9 class ConcretePredicate {
  10 public:
  11         ConcretePredicate(thread_id_t tid);
  12         ~ConcretePredicate() {}
  13
  14         void add_expression(token_t token, uint64_t value, bool equality);
  15         SnapVector<struct concrete_pred_expr> * getExpressions() { return &expressions; }
  16         void set_location(void * loc) { location = loc; }
  17         void * get_location() { return location; }
  18         thread_id_t get_tid() { return tid; }
  19
  20         SNAPSHOTALLOC
  21 private:
  22         thread_id_t tid;
  23         void * location;
  24         SnapVector<struct concrete_pred_expr> expressions;
  25 };
  26
  27 #endif  /* __CONCRETE_PREDICATE_H */