Lines Matching defs:exact
218 set<string>& exact() { return exact_; }
228 // are placed in exact_. When it is no longer an exact
302 // Concats a and b. Requires that both are exact sets.
303 // Forms an exact set that is a crossproduct of a and b.
320 // Used only when a or b is not exact or when the
321 // exact cross product is likely to be too big.
375 // Constructs Info for a+ given a. If a was exact set, it isn't
542 // Exact is concat of recent contiguous exact nodes.
544 Info* exact = NULL;
548 (exact && ci->exact().size() * exact->exact().size() > 16)) {
550 info = And(info, exact);
551 exact = NULL;
555 // Append to exact run.
556 exact = Concat(exact, ci);
559 info = And(info, exact);