dominator

views updated

dominator A vertex xi on a graph G is a dominator of vertex xj, relative to vertex xk, if every path from xj to xk traverses xi. This is used in flow analysis for code optimization.