+++
title = "Dominator Tree"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["1a3c"]
forwardlinks = []
zettelid = "1a3d"
+++

Finally, the dominator tree is defined as the start node being the root,
and each of the nodes children are the nodes that it immediately
dominates.