 API Documentation (version 1.3.7) : Dominators</title>
</head>
<body>
<div class="navbar"><a href="Dataflow.html">Previous</a>
&nbsp;<a href="index.html">Up</a>
&nbsp;</div>
<center><h1>Module <a href="type_Dominators.html">Dominators</a></h1></center>
<br>
<pre><span class="keyword">module</span> Dominators: <code class="code">sig</code> <a href="Dominators.html">..</a> <code class="code">end</code></pre>Compute dominators using data flow analysis<br>
<hr width="100%">
<br>
Author: George Necula   
      