Lines Matching refs:merge
128 public static function merge(
174 * Stack tops equal, parents merge is same; return left graph.
176 * Same stack top, parents differ; merge parents giving array node, then
190 * @param bool $rootIsWildcard `true` if this is a local-context merge,
191 * otherwise false to indicate a full-context merge
228 $parent = self::merge($a->parent, $b->parent, $rootIsWildcard, $mergeCache);
282 // parents differ and can't merge them. Just pack together
283 // into array; can't merge.
312 * These local-context merge operations are used when `rootIsWildcard`
325 * Special case of last merge if local context.
331 * These full-context merge operations are used when `rootIsWildcard`
398 * Equal tops, merge parents and reduce top to
423 // merge sorted payloads a + b => M
431 // walk and merge to yield mergedParents, mergedReturnStates
455 $mergedParent = self::merge($a_parent, $b_parent, $rootIsWildcard, $mergeCache);
461 $j++;// but also skip one in right side since we merge
515 // TODO: track whether this is possible above during merge sort for speed