3 inline bool operator==(const predicate_expr& expr_A, const predicate_expr& expr_B)
5 if (expr_A.token != expr_B.token)
8 if (expr_A.token == EQUALITY && expr_A.location != expr_B.location)
11 if (expr_A.value != expr_B.value)
17 void Predicate::add_predicate(predicate_expr predicate)
19 ModelList<predicate_expr>::iterator it;
20 for (it = predicates.begin();it != predicates.end();it++) {
25 predicates.push_back(predicate);