<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> <title>CVC3: Member List</title> <link href="tabs.css" rel="stylesheet" type="text/css"/> <link href="doxygen.css" rel="stylesheet" type="text/css"/> </head> <body> <!-- Generated by Doxygen 1.7.4 --> <div id="top"> <div id="titlearea"> <table cellspacing="0" cellpadding="0"> <tbody> <tr style="height: 56px;"> <td style="padding-left: 0.5em;"> <div id="projectname">CVC3 <span id="projectnumber">2.4.1</span></div> </td> </tr> </tbody> </table> </div> <div id="navrow1" class="tabs"> <ul class="tablist"> <li><a href="index.html"><span>Main Page</span></a></li> <li><a href="pages.html"><span>Related Pages</span></a></li> <li><a href="modules.html"><span>Modules</span></a></li> <li><a href="namespaces.html"><span>Namespaces</span></a></li> <li class="current"><a href="annotated.html"><span>Classes</span></a></li> <li><a href="files.html"><span>Files</span></a></li> </ul> </div> <div id="navrow2" class="tabs2"> <ul class="tablist"> <li><a href="annotated.html"><span>Class List</span></a></li> <li><a href="classes.html"><span>Class Index</span></a></li> <li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li> <li><a href="functions.html"><span>Class Members</span></a></li> </ul> </div> <div id="nav-path" class="navpath"> <ul> <li class="navelem"><a class="el" href="namespaceCVC3.html">CVC3</a> </li> <li class="navelem"><a class="el" href="classCVC3_1_1TheoryArithOld.html">TheoryArithOld</a> </li> <li class="navelem"><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph.html">DifferenceLogicGraph</a> </li> <li class="navelem"><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">EpsRational</a> </li> </ul> </div> </div> <div class="header"> <div class="headertitle"> <div class="title">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational Member List</div> </div> </div> <div class="contents"> This is the complete list of members for <a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a>, including all inherited members.<table> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#abdaddd8c6b8cbd64f45bcb224bb9121f">EpsRational</a>(RationalType type)</td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline, protected]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#ab8f5740e7c716878bdaa24431fbda7f0">EpsRational</a>()</td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#ad0858791e56bb14856166b4411e14e74">EpsRational</a>(const EpsRational &r)</td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a9921b126c93470b0b18d1ffcd0acb33b">EpsRational</a>(const Rational &q)</td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#aa83e886379c54a2863424e12a43af2d3">EpsRational</a>(const Rational &q, const Rational &k)</td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a7b4bb9732cc1238494e2c695d2604d74abda7e127ed5d0e69e640cf2a0e8d5858">FINITE</a> enum value</td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [protected]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#ab55123f8c208dfa60371d03214b49f5b">getEpsilon</a>() const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a55f41fc5860343b40b281cd09eac04fd">getFloor</a>() const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a2671721c731f2cb89597309d8f29c126">getRational</a>() const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a2ea79c3dbd9dea07a508a86fbc9765eb">isFinite</a>() const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#aec7b157edba8fe5e836612a6ad8e172c">isInteger</a>() const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a71939f44b6d1eb7d222e156247d03960">isRational</a>() const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#aa4a6bafa0b3918c2c2468b9ed504f377">k</a></td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [protected]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a7b4bb9732cc1238494e2c695d2604d74a4eacb58629f24f0d9fff053b4e59b157">MINUS_INFINITY</a> enum value</td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [protected]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#ac14d641b6833b74bbfe14590b596b713">MinusInfinity</a></td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [static]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#ab15673fa29db64d9f1c65183d4aacf25">operator*</a>(const Rational &a) const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#af53abe1350e18dbcecc8e3c229e446af">operator+</a>(const EpsRational &r) const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a92b8fab3da6185c869f2855ae7cbbe22">operator+=</a>(const EpsRational &r)</td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#abee1a63a51553904910401f29e1f0191">operator-</a>(const EpsRational &r) const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#aeb1573d79d6de3ed029d1f0c14e029d6">operator-</a>()</td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#abe61a27081bbd13e06137ec89a5ef6a0">operator/</a>(const Rational &a) const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a46d7f98e8e46cc830f0c203dc2a8203b">operator<</a>(const EpsRational &r) const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#ab640ed0967cd2f77be917eaeb956397c">operator<=</a>(const EpsRational &r) const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#aa98afb0b7a7b93880ddcba67d27d6d25">operator==</a>(const EpsRational &r) const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a2b5bb6577fc2666a1d86ae0b952f86b0">operator></a>(const EpsRational &r) const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a7b4bb9732cc1238494e2c695d2604d74a5635f96de4ed27208b064451e41de217">PLUS_INFINITY</a> enum value</td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [protected]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a3d192df722ff4601388f73a86d6e5688">PlusInfinity</a></td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [static]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a6715d83cae6edc671e535bfb3d077e02">q</a></td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [protected]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a7b4bb9732cc1238494e2c695d2604d74">RationalType</a> enum name</td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [protected]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a1110ac3ff3fb7eaf983fee4eaf55ca1a">toString</a>() const </td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#a81035cdf522e4137f99009fba8cb83b7">type</a></td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [protected]</code></td></tr> <tr class="memlist"><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html#ae1ce8777ef94c7efa4d2b5962ccb2743">Zero</a></td><td><a class="el" href="classCVC3_1_1TheoryArithOld_1_1DifferenceLogicGraph_1_1EpsRational.html">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational</a></td><td><code> [static]</code></td></tr> </table></div> <hr class="footer"/><address class="footer"><small>Generated on Wed Sep 7 2011 for CVC3 by  <a href="http://www.doxygen.org/index.html"> <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.4 </small></address> </body> </html>