fix mutex_trylock bug
[c11tester.git] / concretepredicate.h
index 2ec4e85..1440763 100644 (file)
@@ -2,22 +2,26 @@
 #define __CONCRETE_PREDICATE_H__
 
 #include <inttypes.h>
+#include "modeltypes.h"
 #include "classlist.h"
 #include "predicatetypes.h"
 
 class ConcretePredicate {
 public:
-       ConcretePredicate(void * loc);
-       ~ConcretePredicate();
+       ConcretePredicate(thread_id_t tid);
+       ~ConcretePredicate() {}
 
        void add_expression(token_t token, uint64_t value, bool equality);
        SnapVector<struct concrete_pred_expr> * getExpressions() { return &expressions; }
+       void set_location(void * loc) { location = loc; }
        void * get_location() { return location; }
+       thread_id_t get_tid() { return tid; }
 
        SNAPSHOTALLOC
 private:
+       thread_id_t tid;
        void * location;
        SnapVector<struct concrete_pred_expr> expressions;
 };
 
-#endif /* __CONCRETE_PREDICATE_H */
+#endif /* __CONCRETE_PREDICATE_H */