Checker</a></div><div class="ttdef"><b>Definition:</b> <a href="TypeRegulationsChecker_8java_source.html#l00011">TypeRegulationsChecker.java:11</a></div></div>
        </div>
        </div>
        <div id="footer-container">
            <div id="footer">
            </div>
        </div>
    </body>
</html>
