Lines Matching refs:exact
225 set<string>& exact() { return exact_; }
235 // are placed in exact_. When it is no longer an exact
309 // Concats a and b. Requires that both are exact sets.
310 // Forms an exact set that is a crossproduct of a and b.
327 // Used only when a or b is not exact or when the
328 // exact cross product is likely to be too big.
382 // Constructs Info for a+ given a. If a was exact set, it isn't
586 // Exact is concat of recent contiguous exact nodes.
588 Info* exact = NULL;
592 (exact && ci->exact().size() * exact->exact().size() > 16)) {
593 // Exact run is over.
594 info = And(info, exact);
595 exact = NULL;
599 // Append to exact run.
600 exact = Concat(exact, ci);
603 info = And(info, exact);
