Function numberDomTree

dom.go:229–238

numberDomTree sets the pre- and post-order numbers of a depth-first traversal of the dominator tree rooted at v. These are used to answer dominance queries in constant time.

(v *node, pre, post int32)

// answer dominance queries in constant time.
//
func numberDomTree(v *node, pre, post int32) (int32, int32) {
	v.dom.pre = pre
	pre++
	for _, child := range v.dom.children {
		pre, post = numberDomTree(child, pre, post)
	}
	v.dom.post = post
	post++
	return pre, post
}