dd>
<dt>
<a href="#nullify_domain">nullify_domain</a>:</dt>
<dd></dd>
<dt>
<a href="#return_domain">return_domain</a>:</dt>
<dd></dd>
<dt>
<a href="#get_domain_decomp">get_domain_decomp</a>:</dt>
<dd></dd>
</dl>
</div>
<br>
<!-- END PUBLIC INTERFACE -->
<a name="PUBLIC DATA"></a>
<hr>
<h4>PUBLIC DATA</h4>
<!-- BEGIN PUBLIC DATA -->
<div>None.<br>
<br>
</div>
<!-- END PUBLIC DATA -->
<a name="PUBLIC ROUTINES"></a>
<hr>
<h4>PUBLIC ROUTINES</h4>
<!-- BEGIN PUBLIC ROUTINES -->
<ol type="a">
<li>
<a name="get_re