      
      <a class="list-group-item" href="../proc/zeros_int.html">zeros_int</a>
      
      <a class="list-group-item" href="../proc/zeros_real.html">zeros_real</a>
      
    </div>
  </div>
</div>


</div>  

    </div>
    
    <div class="col-md-9" id='text'>
      <h2>public interface domain_type</h2>
	 
     
     <h3>Calls</h3>
     
                <div class="depgraph"><?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Grap