Avoid using a HashTable to associate FuncInsts with ModelActions; a slight improvemen...

[c11tester.git] / predicate.h

diff --git a/predicate.h b/predicate.h
index 4bb3039b2ced7c62d9feb945614ec6340c6f75cb..4c26a9ddb8bace0986dbb54abda505d8090b3969 100644 (file)
--- a/predicate.h
+++ b/predicate.h
@@ -1,9 +1,9 @@
 #ifndef __PREDICATE_H__
 #define __PREDICATE_H__
 
-#include "funcinst.h"
 #include "hashset.h"
 #include "predicatetypes.h"
+#include "classlist.h"
 
 unsigned int pred_expr_hash (struct pred_expr *);
 bool pred_expr_equal(struct pred_expr *, struct pred_expr *);
@@ -35,7 +35,7 @@ public:
        bool is_write() { return does_write; }
        void set_write(bool is_write) { does_write = is_write; }
 
-       SnapVector<struct concrete_pred_expr> evaluate(inst_act_map_t * inst_act_map);
+       ConcretePredicate * evaluate(inst_act_map_t * inst_act_map, thread_id_t tid);
 
        void print_predicate();
        void print_pred_subtree();