1 #ifndef __CONCRETE_PREDICATE_H__
2 #define __CONCRETE_PREDICATE_H__
6 #include "predicatetypes.h"
8 class ConcretePredicate {
10 ConcretePredicate(void * loc);
13 void add_expression(token_t token, uint64_t value, bool equality);
14 SnapVector<struct concrete_pred_expr> * getExpressions() { return &expressions; }
15 void * get_location() { return location; }
20 SnapVector<struct concrete_pred_expr> expressions;
23 #endif /* __CONCRETE_PREDICATE_H */