| 1072 | std::unordered_set<Expression, Expression::Hash> set_; |
| 1073 | |
| 1074 | bool operator()(const Expression& expr) const { |
| 1075 | return set_.find(expr) != set_.end(); |
| 1076 | } |
| 1077 | |
| 1078 | void Add(std::vector<Expression> exprs) { |
| 1079 | std::move(exprs.begin(), exprs.end(), std::inserter(set_, set_.end())); |