| 81 | ////////////////////////////////////////////////////////////////////////////// |
| 82 | |
| 83 | int find_variable_in_set(const vector<const Variable*>& set, const Variable* v) |
| 84 | { |
| 85 | size_t i; |
| 86 | for (i=0; i<set.size(); i++) { |
| 87 | if (set[i]->match(v)) { |
| 88 | return i; |
| 89 | } |
| 90 | } |
| 91 | return -1; |
| 92 | } |
| 93 | |
| 94 | int find_variable_in_set(const vector<Variable*>& set, const Variable* v) |
| 95 | { |
no test coverage detected