1 #ifndef __CONCRETE_PREDICATE_H__
2 #define __CONCRETE_PREDICATE_H__
5 #include "modeltypes.h"
7 #include "predicatetypes.h"
9 class ConcretePredicate {
11 ConcretePredicate(thread_id_t tid);
12 ~ConcretePredicate() {}
14 void add_expression(token_t token, uint64_t value, bool equality);
15 SnapVector<struct concrete_pred_expr> * getExpressions() { return &expressions; }
16 void set_location(void * loc) { location = loc; }
17 void * get_location() { return location; }
18 thread_id_t get_tid() { return tid; }
24 SnapVector<struct concrete_pred_expr> expressions;
27 #endif /* __CONCRETE_PREDICATE_H */