129 {
130
131 ::std::vector<char> seen;
132
133
134
135
136
137
138
139
140
141
142
143
144 for (size_t ilhs = 0; ilhs < graph_->LhsSize(); ++ilhs) {
145
146
148 << "ilhs: " << ilhs << ", left_[ilhs]: " << left_[ilhs];
149
150 seen.assign(graph_->RhsSize(), 0);
151 TryAugment(ilhs, &seen);
152 }
153 ElementMatcherPairs result;
154 for (size_t ilhs = 0; ilhs < left_.size(); ++ilhs) {
155 size_t irhs = left_[ilhs];
156 if (irhs == kUnused) continue;
157 result.push_back(ElementMatcherPair(ilhs, irhs));
158 }
159 return result;
160 }
#define GTEST_CHECK_(condition)