X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=concretepredicate.h;h=1440763aad539c70af3f48371a0e82f5593663cf;hp=6319a2ee23abbd29b97dcfd0938f00256fb501ff;hb=7742256df627848c1c375f979f5369a45c92057b;hpb=0a4d633bc8a0f700621ec57104267d66e5165f35

diff --git a/concretepredicate.h b/concretepredicate.h
index 6319a2ee..1440763a 100644
--- a/concretepredicate.h
+++ b/concretepredicate.h
@@ -9,11 +9,13 @@
 class ConcretePredicate {
 public:
 	ConcretePredicate(thread_id_t tid);
-	~ConcretePredicate();
+	~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:
@@ -22,4 +24,4 @@ private:
 	SnapVector<struct concrete_pred_expr> expressions;
 };
 
-#endif /* __CONCRETE_PREDICATE_H */
+#endif	/* __CONCRETE_PREDICATE_H */