Searched refs:spanner (Results 1 – 1 of 1) sorted by relevance
73 : op_mask(op), spanner(lhs, rhs) in region_operator()80 SpannerInner spannerInner(spanner.lhs, spanner.rhs); in operator()81 int inside = spanner.next(current.top, current.bottom); in operator()92 } while(!spanner.isDone()); in operator()297 Spanner spanner; variable