X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=concretepredicate.h;h=1440763aad539c70af3f48371a0e82f5593663cf;hp=2ec4e85d1870d2a644f3d71b78947fd62fdb356e;hb=25d73096cfc14c655f94b01bb235cc5efd1d5696;hpb=0870af877484b364b86c860aec8e137354693b69

diff --git a/concretepredicate.h b/concretepredicate.h
index 2ec4e85d..1440763a 100644
--- 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 */