English

edit

Noun

edit

postdominator (plural postdominators)

  1. (graph theory) A node that postdominates another.