3 typedef enum predicate_token {
7 /* If token is EQUALITY, then the predicate asserts whether
8 * this load should read the same value as the last value
9 * read at memory location specified in predicate_expr.
11 struct predicate_expr {
22 FuncInst * get_func_inst() { return func_inst; }
23 ModelList<predicate_expr> * get_predicates() { return &predicates; }
24 void add_predicate(predicate_expr predicate);
29 /* may have multiple precicates */
30 ModelList<predicate_expr> predicates;