Change the return type of Predicate::evaluate

[c11tester.git] / concretepredicate.h

diff --git a/concretepredicate.h b/concretepredicate.h
index 2ec4e85d1870d2a644f3d71b78947fd62fdb356e..6319a2ee23abbd29b97dcfd0938f00256fb501ff 100644 (file)
--- a/concretepredicate.h
+++ b/concretepredicate.h
@@ -2,12 +2,13 @@
 #define __CONCRETE_PREDICATE_H__
 
 #include <inttypes.h>
+#include "modeltypes.h"
 #include "classlist.h"
 #include "predicatetypes.h"
 
 class ConcretePredicate {
 public:
-       ConcretePredicate(void * loc);
+       ConcretePredicate(thread_id_t tid);
        ~ConcretePredicate();
 
        void add_expression(token_t token, uint64_t value, bool equality);
@@ -16,6 +17,7 @@ public:
 
        SNAPSHOTALLOC
 private:
+       thread_id_t tid;
        void * location;
        SnapVector<struct concrete_pred_expr> expressions;
 };