Change initialize a bit

[c11tester.git] / concretepredicate.h

diff --git a/concretepredicate.h b/concretepredicate.h
index 2ec4e85d1870d2a644f3d71b78947fd62fdb356e..1440763aad539c70af3f48371a0e82f5593663cf 100644 (file)
--- a/concretepredicate.h
+++ b/concretepredicate.h
@@ -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 */