<!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"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>CVC3: Member List</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td style="padding-left: 0.5em;">
<div id="projectname">CVC3
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.2 -->
<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="inherits.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_1Rational.html">Rational</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="headertitle">
<div class="title">CVC3::Rational Member List</div> </div>
</div><!--header-->
<div class="contents">
<p>This is the complete list of members for <a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a>, including all inherited members.</p>
<table class="directory">
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#afed8d1b5267f8001014d7efdd2ac8392">abs</a>(const Rational &x)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#aed2ee8eb592f10cb291a9b7b8ff63d56">ceil</a>(const Rational &x)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a704e9a119182f45ca64d5899f683f17a">d_n</a></td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#afbefd45d6dd59d74f652c3bb1ec44af7">floor</a>(const Rational &x)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a6be747d2fa9b4e51c391784459268e9f">gcd</a>(const Rational &x, const Rational &y)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a82b67685b76f278845508c1145d058ab">gcd</a>(const std::vector< Rational > &v)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a7c237dbba5d9f2b022d13bae3188a7e9">getDenominator</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a094636dfa3a740640ca1b0c7406f7e8f">getInt</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a953f2eb850fc3612097b5320dcda6047">getNumerator</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#ae6d4bedf76175b8f91283f610b3eb7d0">getUnsigned</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#aae36754c1b698b9eb96ecc3a73ffdd02">getUnsignedMP</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#af35a2ffa7a97a655b32be09a2e7422f9">hash</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a8c2b7267bc656f728ff18d23857aed1c">intRoot</a>(const Rational &base, unsigned long int n)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a1366320f4de558bb964c67f8aecedb36">isInteger</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a03270adfe06c382a17f234f9216f31c6">isUnsigned</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#acf570616d2e6e8e88c8b0ef1c54b6315">lcm</a>(const Rational &x, const Rational &y)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#ae8bf406a3152d6adf8291e0f9272125c">lcm</a>(const std::vector< Rational > &v)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a3e46ea317a4ee9a7adf18bfc4a4c8b4f">mod</a>(const Rational &x, const Rational &y)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#adb7f768e8bf33e3de2a50a7f82b419ef">operator!=</a>(const Rational &n1, const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a75c7223bf311810e8f8bbc86a727370c">operator%</a>(const Rational &n1, const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a1992e8fd80dca45b2c87df43431a5cc6">operator*</a>(const Rational &n1, const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a94c018d08fa28632569f7cda4bbe40bf">operator*=</a>(const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a64f68893940e3cfbe3b54dd4f724f366">operator+</a>(const Rational &n1, const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#aa1fdc29580aa7346468fa586aea4deca">operator++</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#ac0e77dca2167add1e9ed59b08a7b586a">operator++</a>(int)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#aae331ee62620a4637fd4dc9ed9469a31">operator+=</a>(const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#abaddbecbc81113118c9458854d8a52b9">operator-</a>(const Rational &n1, const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a6972d9b21f958c8e9c992d7d2e3842f1">operator-</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#add042563a97eee295c6d555efb3e8bcc">operator--</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a387bc71b45353f9d1615a65c371dda0d">operator--</a>(int)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a698306017c0d9de70b321c31be9b09f5">operator-=</a>(const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#abaaea6620c21af723d1bdfda9dd10a4f">operator/</a>(const Rational &n1, const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#ae8d9c49082175239fbd26cf263dfb417">operator/=</a>(const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#ac28c9e6b1b5a7f902abc27dc5fbc379d">operator<</a>(const Rational &n1, const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a46f7bad434bc7a47590875c896e7ab65">operator<<</a>(std::ostream &os, const Rational &n)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a8b2cf0f10699a162e5a713c7bbb7e356">operator<<</a>(std::ostream &os, const Impl &n)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a387ee8e33bcd3d7c97656281e967c0e1">operator<=</a>(const Rational &n1, const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#ab2e80babe9194a924d18ec2f4288c3c6">operator=</a>(const Rational &n)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#ad69cc477558a022f755db23ee58f21d8">operator==</a>(const Rational &n1, const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#addbfac581b12421728b959eadbe4e0f4">operator></a>(const Rational &n1, const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a31b94d619ec162acb2a3e15c0820d533">operator>=</a>(const Rational &n1, const Rational &n2)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a6097017426cfd705045fa66f905d4661">print</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a9ad06945464ca21b2171a27d7b47c29e">Rational</a>(const Impl &t)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a8f86f975b54d0a491bc909d677023467">Rational</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a5f42d70e61ef87bd48bc50a411e570fe">Rational</a>(const Rational &n)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#af8835b620e71f155dde0c3a15910e86b">Rational</a>(const Unsigned &n)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a5d87148a80ee4701cc096d040a83f09e">Rational</a>(int n, int d=1)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#aa7cf11c20860cdb89d5f46d439d77936">Rational</a>(const char *n, int base=10)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a7c5688ac49d829f78676762971d1e00f">Rational</a>(const std::string &n, int base=10)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a131ed4cacb5a5349d843ed5e57eace4a">Rational</a>(const char *n, const char *d, int base=10)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a1d14ddde06cf47098aedfcc34d506b08">Rational</a>(const std::string &n, const std::string &d, int base=10)</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a195c125a76cb9a6c5731369e244a2de3">toString</a>(int base=10) const </td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#a1be03a40a6c2eca44dad1e7d2af079b8">Unsigned</a> class</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Rational.html#ab5e1389635b19c5a2f77a999a948a6e2">~Rational</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1Rational.html">CVC3::Rational</a></td><td class="entry"></td></tr>
</table></div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Thu May 16 2013 13:25:18 for CVC3 by  <a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.2
</small></address>
</body>
</html>
