<!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: CVC3::Rational Class Reference</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="summary">
<a href="#pub-methods">Public Member Functions</a> |
<a href="#pri-methods">Private Member Functions</a> |
<a href="#pri-attribs">Private Attributes</a> |
<a href="#friends">Friends</a> |
<a href="classCVC3_1_1Rational-members.html">List of all members</a> </div>
<div class="headertitle">
<div class="title">CVC3::Rational Class Reference</div> </div>
</div><!--header-->
<div class="contents">
<p><code>#include <<a class="el" href="rational_8h_source.html">rational.h</a>></code></p>
<div class="dynheader">
Collaboration diagram for CVC3::Rational:</div>
<div class="dyncontent">
<div class="center"><img src="classCVC3_1_1Rational__coll__graph.gif" border="0" usemap="#CVC3_1_1Rational_coll__map" alt="Collaboration graph"/></div>
<map name="CVC3_1_1Rational_coll__map" id="CVC3_1_1Rational_coll__map">
</map>
</div>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
Public Member Functions</h2></td></tr>
<tr class="memitem:a8f86f975b54d0a491bc909d677023467"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a8f86f975b54d0a491bc909d677023467">Rational</a> ()</td></tr>
<tr class="separator:a8f86f975b54d0a491bc909d677023467"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a5f42d70e61ef87bd48bc50a411e570fe"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a5f42d70e61ef87bd48bc50a411e570fe">Rational</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n)</td></tr>
<tr class="separator:a5f42d70e61ef87bd48bc50a411e570fe"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:af8835b620e71f155dde0c3a15910e86b"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#af8835b620e71f155dde0c3a15910e86b">Rational</a> (const <a class="el" href="classCVC3_1_1Unsigned.html">Unsigned</a> &n)</td></tr>
<tr class="separator:af8835b620e71f155dde0c3a15910e86b"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a5d87148a80ee4701cc096d040a83f09e"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a5d87148a80ee4701cc096d040a83f09e">Rational</a> (int n, int d=1)</td></tr>
<tr class="separator:a5d87148a80ee4701cc096d040a83f09e"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:aa7cf11c20860cdb89d5f46d439d77936"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#aa7cf11c20860cdb89d5f46d439d77936">Rational</a> (const char *n, int base=10)</td></tr>
<tr class="separator:aa7cf11c20860cdb89d5f46d439d77936"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a7c5688ac49d829f78676762971d1e00f"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a7c5688ac49d829f78676762971d1e00f">Rational</a> (const std::string &n, int base=10)</td></tr>
<tr class="separator:a7c5688ac49d829f78676762971d1e00f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a131ed4cacb5a5349d843ed5e57eace4a"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a131ed4cacb5a5349d843ed5e57eace4a">Rational</a> (const char *n, const char *d, int base=10)</td></tr>
<tr class="separator:a131ed4cacb5a5349d843ed5e57eace4a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a1d14ddde06cf47098aedfcc34d506b08"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a1d14ddde06cf47098aedfcc34d506b08">Rational</a> (const std::string &n, const std::string &d, int base=10)</td></tr>
<tr class="separator:a1d14ddde06cf47098aedfcc34d506b08"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ab5e1389635b19c5a2f77a999a948a6e2"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#ab5e1389635b19c5a2f77a999a948a6e2">~Rational</a> ()</td></tr>
<tr class="separator:ab5e1389635b19c5a2f77a999a948a6e2"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ab2e80babe9194a924d18ec2f4288c3c6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#ab2e80babe9194a924d18ec2f4288c3c6">operator=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n)</td></tr>
<tr class="separator:ab2e80babe9194a924d18ec2f4288c3c6"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a195c125a76cb9a6c5731369e244a2de3"><td class="memItemLeft" align="right" valign="top">std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a195c125a76cb9a6c5731369e244a2de3">toString</a> (int base=10) const </td></tr>
<tr class="separator:a195c125a76cb9a6c5731369e244a2de3"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:af35a2ffa7a97a655b32be09a2e7422f9"><td class="memItemLeft" align="right" valign="top">size_t </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#af35a2ffa7a97a655b32be09a2e7422f9">hash</a> () const </td></tr>
<tr class="separator:af35a2ffa7a97a655b32be09a2e7422f9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a6972d9b21f958c8e9c992d7d2e3842f1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a6972d9b21f958c8e9c992d7d2e3842f1">operator-</a> () const </td></tr>
<tr class="separator:a6972d9b21f958c8e9c992d7d2e3842f1"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:aae331ee62620a4637fd4dc9ed9469a31"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#aae331ee62620a4637fd4dc9ed9469a31">operator+=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:aae331ee62620a4637fd4dc9ed9469a31"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a698306017c0d9de70b321c31be9b09f5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a698306017c0d9de70b321c31be9b09f5">operator-=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:a698306017c0d9de70b321c31be9b09f5"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a94c018d08fa28632569f7cda4bbe40bf"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a94c018d08fa28632569f7cda4bbe40bf">operator*=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:a94c018d08fa28632569f7cda4bbe40bf"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ae8d9c49082175239fbd26cf263dfb417"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#ae8d9c49082175239fbd26cf263dfb417">operator/=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:ae8d9c49082175239fbd26cf263dfb417"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:aa1fdc29580aa7346468fa586aea4deca"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#aa1fdc29580aa7346468fa586aea4deca">operator++</a> ()</td></tr>
<tr class="memdesc:aa1fdc29580aa7346468fa586aea4deca"><td class="mdescLeft"> </td><td class="mdescRight">Prefix increment. <a href="#aa1fdc29580aa7346468fa586aea4deca"></a><br/></td></tr>
<tr class="separator:aa1fdc29580aa7346468fa586aea4deca"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ac0e77dca2167add1e9ed59b08a7b586a"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#ac0e77dca2167add1e9ed59b08a7b586a">operator++</a> (int)</td></tr>
<tr class="memdesc:ac0e77dca2167add1e9ed59b08a7b586a"><td class="mdescLeft"> </td><td class="mdescRight">Postfix increment. <a href="#ac0e77dca2167add1e9ed59b08a7b586a"></a><br/></td></tr>
<tr class="separator:ac0e77dca2167add1e9ed59b08a7b586a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:add042563a97eee295c6d555efb3e8bcc"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#add042563a97eee295c6d555efb3e8bcc">operator--</a> ()</td></tr>
<tr class="memdesc:add042563a97eee295c6d555efb3e8bcc"><td class="mdescLeft"> </td><td class="mdescRight">Prefix decrement. <a href="#add042563a97eee295c6d555efb3e8bcc"></a><br/></td></tr>
<tr class="separator:add042563a97eee295c6d555efb3e8bcc"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a387bc71b45353f9d1615a65c371dda0d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a387bc71b45353f9d1615a65c371dda0d">operator--</a> (int)</td></tr>
<tr class="memdesc:a387bc71b45353f9d1615a65c371dda0d"><td class="mdescLeft"> </td><td class="mdescRight">Postfix decrement. <a href="#a387bc71b45353f9d1615a65c371dda0d"></a><br/></td></tr>
<tr class="separator:a387bc71b45353f9d1615a65c371dda0d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a953f2eb850fc3612097b5320dcda6047"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a953f2eb850fc3612097b5320dcda6047">getNumerator</a> () const </td></tr>
<tr class="separator:a953f2eb850fc3612097b5320dcda6047"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a7c237dbba5d9f2b022d13bae3188a7e9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a7c237dbba5d9f2b022d13bae3188a7e9">getDenominator</a> () const </td></tr>
<tr class="separator:a7c237dbba5d9f2b022d13bae3188a7e9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a1366320f4de558bb964c67f8aecedb36"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a1366320f4de558bb964c67f8aecedb36">isInteger</a> () const </td></tr>
<tr class="separator:a1366320f4de558bb964c67f8aecedb36"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a094636dfa3a740640ca1b0c7406f7e8f"><td class="memItemLeft" align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a094636dfa3a740640ca1b0c7406f7e8f">getInt</a> () const </td></tr>
<tr class="separator:a094636dfa3a740640ca1b0c7406f7e8f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a03270adfe06c382a17f234f9216f31c6"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a03270adfe06c382a17f234f9216f31c6">isUnsigned</a> () const </td></tr>
<tr class="separator:a03270adfe06c382a17f234f9216f31c6"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ae6d4bedf76175b8f91283f610b3eb7d0"><td class="memItemLeft" align="right" valign="top">unsigned int </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#ae6d4bedf76175b8f91283f610b3eb7d0">getUnsigned</a> () const </td></tr>
<tr class="separator:ae6d4bedf76175b8f91283f610b3eb7d0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:aae36754c1b698b9eb96ecc3a73ffdd02"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classCVC3_1_1Unsigned.html">Unsigned</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#aae36754c1b698b9eb96ecc3a73ffdd02">getUnsignedMP</a> () const </td></tr>
<tr class="separator:aae36754c1b698b9eb96ecc3a73ffdd02"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a6097017426cfd705045fa66f905d4661"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a6097017426cfd705045fa66f905d4661">print</a> () const </td></tr>
<tr class="separator:a6097017426cfd705045fa66f905d4661"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
Private Member Functions</h2></td></tr>
<tr class="memitem:a9ad06945464ca21b2171a27d7b47c29e"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a9ad06945464ca21b2171a27d7b47c29e">Rational</a> (const Impl &t)</td></tr>
<tr class="separator:a9ad06945464ca21b2171a27d7b47c29e"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
Private Attributes</h2></td></tr>
<tr class="memitem:a704e9a119182f45ca64d5899f683f17a"><td class="memItemLeft" align="right" valign="top">Impl * </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a704e9a119182f45ca64d5899f683f17a">d_n</a></td></tr>
<tr class="separator:a704e9a119182f45ca64d5899f683f17a"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
Friends</h2></td></tr>
<tr class="memitem:a1be03a40a6c2eca44dad1e7d2af079b8"><td class="memItemLeft" align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a1be03a40a6c2eca44dad1e7d2af079b8">Unsigned</a></td></tr>
<tr class="separator:a1be03a40a6c2eca44dad1e7d2af079b8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ad69cc477558a022f755db23ee58f21d8"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#ad69cc477558a022f755db23ee58f21d8">operator==</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n1, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:ad69cc477558a022f755db23ee58f21d8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ac28c9e6b1b5a7f902abc27dc5fbc379d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#ac28c9e6b1b5a7f902abc27dc5fbc379d">operator<</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n1, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:ac28c9e6b1b5a7f902abc27dc5fbc379d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a387ee8e33bcd3d7c97656281e967c0e1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a387ee8e33bcd3d7c97656281e967c0e1">operator<=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n1, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:a387ee8e33bcd3d7c97656281e967c0e1"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:addbfac581b12421728b959eadbe4e0f4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#addbfac581b12421728b959eadbe4e0f4">operator></a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n1, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:addbfac581b12421728b959eadbe4e0f4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a31b94d619ec162acb2a3e15c0820d533"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a31b94d619ec162acb2a3e15c0820d533">operator>=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n1, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:a31b94d619ec162acb2a3e15c0820d533"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:adb7f768e8bf33e3de2a50a7f82b419ef"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#adb7f768e8bf33e3de2a50a7f82b419ef">operator!=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n1, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:adb7f768e8bf33e3de2a50a7f82b419ef"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a64f68893940e3cfbe3b54dd4f724f366"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a64f68893940e3cfbe3b54dd4f724f366">operator+</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n1, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:a64f68893940e3cfbe3b54dd4f724f366"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:abaddbecbc81113118c9458854d8a52b9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#abaddbecbc81113118c9458854d8a52b9">operator-</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n1, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:abaddbecbc81113118c9458854d8a52b9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a1992e8fd80dca45b2c87df43431a5cc6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a1992e8fd80dca45b2c87df43431a5cc6">operator*</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n1, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:a1992e8fd80dca45b2c87df43431a5cc6"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:abaaea6620c21af723d1bdfda9dd10a4f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#abaaea6620c21af723d1bdfda9dd10a4f">operator/</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n1, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:abaaea6620c21af723d1bdfda9dd10a4f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a75c7223bf311810e8f8bbc86a727370c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a75c7223bf311810e8f8bbc86a727370c">operator%</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n1, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)</td></tr>
<tr class="separator:a75c7223bf311810e8f8bbc86a727370c"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a46f7bad434bc7a47590875c896e7ab65"><td class="memItemLeft" align="right" valign="top">std::ostream & </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a46f7bad434bc7a47590875c896e7ab65">operator<<</a> (std::ostream &os, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n)</td></tr>
<tr class="separator:a46f7bad434bc7a47590875c896e7ab65"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a8b2cf0f10699a162e5a713c7bbb7e356"><td class="memItemLeft" align="right" valign="top">std::ostream & </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a8b2cf0f10699a162e5a713c7bbb7e356">operator<<</a> (std::ostream &os, const Impl &n)</td></tr>
<tr class="separator:a8b2cf0f10699a162e5a713c7bbb7e356"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a6be747d2fa9b4e51c391784459268e9f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a6be747d2fa9b4e51c391784459268e9f">gcd</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &x, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &y)</td></tr>
<tr class="separator:a6be747d2fa9b4e51c391784459268e9f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a82b67685b76f278845508c1145d058ab"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a82b67685b76f278845508c1145d058ab">gcd</a> (const std::vector< <a class="el" href="classCVC3_1_1Rational.html">Rational</a> > &v)</td></tr>
<tr class="separator:a82b67685b76f278845508c1145d058ab"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:acf570616d2e6e8e88c8b0ef1c54b6315"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#acf570616d2e6e8e88c8b0ef1c54b6315">lcm</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &x, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &y)</td></tr>
<tr class="separator:acf570616d2e6e8e88c8b0ef1c54b6315"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ae8bf406a3152d6adf8291e0f9272125c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#ae8bf406a3152d6adf8291e0f9272125c">lcm</a> (const std::vector< <a class="el" href="classCVC3_1_1Rational.html">Rational</a> > &v)</td></tr>
<tr class="separator:ae8bf406a3152d6adf8291e0f9272125c"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:afed8d1b5267f8001014d7efdd2ac8392"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#afed8d1b5267f8001014d7efdd2ac8392">abs</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &x)</td></tr>
<tr class="separator:afed8d1b5267f8001014d7efdd2ac8392"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:afbefd45d6dd59d74f652c3bb1ec44af7"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#afbefd45d6dd59d74f652c3bb1ec44af7">floor</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &x)</td></tr>
<tr class="memdesc:afbefd45d6dd59d74f652c3bb1ec44af7"><td class="mdescLeft"> </td><td class="mdescRight">Compute the floor of x (result is an integer) <a href="#afbefd45d6dd59d74f652c3bb1ec44af7"></a><br/></td></tr>
<tr class="separator:afbefd45d6dd59d74f652c3bb1ec44af7"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:aed2ee8eb592f10cb291a9b7b8ff63d56"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#aed2ee8eb592f10cb291a9b7b8ff63d56">ceil</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &x)</td></tr>
<tr class="memdesc:aed2ee8eb592f10cb291a9b7b8ff63d56"><td class="mdescLeft"> </td><td class="mdescRight">Compute the ceiling of x (result is an integer) <a href="#aed2ee8eb592f10cb291a9b7b8ff63d56"></a><br/></td></tr>
<tr class="separator:aed2ee8eb592f10cb291a9b7b8ff63d56"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a3e46ea317a4ee9a7adf18bfc4a4c8b4f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a3e46ea317a4ee9a7adf18bfc4a4c8b4f">mod</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &x, const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &y)</td></tr>
<tr class="memdesc:a3e46ea317a4ee9a7adf18bfc4a4c8b4f"><td class="mdescLeft"> </td><td class="mdescRight">Compute non-negative remainder for <em>integer</em> x,y. <a href="#a3e46ea317a4ee9a7adf18bfc4a4c8b4f"></a><br/></td></tr>
<tr class="separator:a3e46ea317a4ee9a7adf18bfc4a4c8b4f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a8c2b7267bc656f728ff18d23857aed1c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1Rational.html#a8c2b7267bc656f728ff18d23857aed1c">intRoot</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &base, unsigned long int n)</td></tr>
<tr class="memdesc:a8c2b7267bc656f728ff18d23857aed1c"><td class="mdescLeft"> </td><td class="mdescRight">nth root: return 0 if no exact answer (base should be nonzero) <a href="#a8c2b7267bc656f728ff18d23857aed1c"></a><br/></td></tr>
<tr class="separator:a8c2b7267bc656f728ff18d23857aed1c"><td class="memSeparator" colspan="2"> </td></tr>
</table>
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<div class="textblock">
<p>Definition at line <a class="el" href="rational_8h_source.html#l00043">43</a> of file <a class="el" href="rational_8h_source.html">rational.h</a>.</p>
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
<a class="anchor" id="a9ad06945464ca21b2171a27d7b47c29e"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">CVC3::Rational::Rational </td>
<td>(</td>
<td class="paramtype">const Impl & </td>
<td class="paramname"><em>t</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a8f86f975b54d0a491bc909d677023467"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::Rational::Rational </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a5f42d70e61ef87bd48bc50a411e570fe"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::Rational::Rational </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n</em></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="af8835b620e71f155dde0c3a15910e86b"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::Rational::Rational </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Unsigned.html">Unsigned</a> & </td>
<td class="paramname"><em>n</em></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a5d87148a80ee4701cc096d040a83f09e"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::Rational::Rational </td>
<td>(</td>
<td class="paramtype">int </td>
<td class="paramname"><em>n</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"><em>d</em> = <code>1</code> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="aa7cf11c20860cdb89d5f46d439d77936"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::Rational::Rational </td>
<td>(</td>
<td class="paramtype">const char * </td>
<td class="paramname"><em>n</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"><em>base</em> = <code>10</code> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a7c5688ac49d829f78676762971d1e00f"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::Rational::Rational </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>n</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"><em>base</em> = <code>10</code> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a131ed4cacb5a5349d843ed5e57eace4a"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::Rational::Rational </td>
<td>(</td>
<td class="paramtype">const char * </td>
<td class="paramname"><em>n</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const char * </td>
<td class="paramname"><em>d</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"><em>base</em> = <code>10</code> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a1d14ddde06cf47098aedfcc34d506b08"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::Rational::Rational </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>n</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>d</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"><em>base</em> = <code>10</code> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="ab5e1389635b19c5a2f77a999a948a6e2"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::Rational::~Rational </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<h2 class="groupheader">Member Function Documentation</h2>
<a class="anchor" id="ab2e80babe9194a924d18ec2f4288c3c6"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Rational.html">Rational</a>& CVC3::Rational::operator= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n</em></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a195c125a76cb9a6c5731369e244a2de3"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">std::string CVC3::Rational::toString </td>
<td>(</td>
<td class="paramtype">int </td>
<td class="paramname"><em>base</em> = <code>10</code></td><td>)</td>
<td> const</td>
</tr>
</table>
</div><div class="memdoc">
<p>Referenced by <a class="el" href="bitvector__theorem__producer_8cpp_source.html#l03290">CVC3::BitvectorTheoremProducer::bvplusConst()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02369">CVC3::ArithTheoremProducerOld::create_t()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02192">CVC3::ArithTheoremProducer::create_t()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02167">CVC3::ArithTheoremProducer3::create_t()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02388">CVC3::ArithTheoremProducerOld::create_t2()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02211">CVC3::ArithTheoremProducer::create_t2()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02186">CVC3::ArithTheoremProducer3::create_t2()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02408">CVC3::ArithTheoremProducerOld::create_t3()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02231">CVC3::ArithTheoremProducer::create_t3()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02206">CVC3::ArithTheoremProducer3::create_t3()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l01948">CVC3::TheoryArithOld::currentMaxCoefficient()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02506">CVC3::ArithTheoremProducer3::eqElimIntRule()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02708">CVC3::ArithTheoremProducerOld::eqElimIntRule()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02531">CVC3::ArithTheoremProducer::eqElimIntRule()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l01196">CVC3::TheoryArithOld::extractTermsFromInequality()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02438">CVC3::ArithTheoremProducerOld::f()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02236">CVC3::ArithTheoremProducer3::f()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02261">CVC3::ArithTheoremProducer::f()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l01348">CVC3::TheoryArithNew::findBounds()</a>, <a class="el" href="theory__arith3_8cpp_source.html#l02197">CVC3::TheoryArith3::findBounds()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l02780">CVC3::TheoryArithOld::findBounds()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l05463">CVC3::TheoryArithOld::getLowerBound()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l05391">CVC3::TheoryArithOld::getUpperBound()</a>, <a class="el" href="expr__value_8h_source.html#l00750">CVC3::ExprRational::hash()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02951">CVC3::ArithTheoremProducer3::integerSplit()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l03230">CVC3::ArithTheoremProducerOld::integerSplit()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l03049">CVC3::ArithTheoremProducer::integerSplit()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02429">CVC3::ArithTheoremProducerOld::modEq()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02252">CVC3::ArithTheoremProducer::modEq()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02227">CVC3::ArithTheoremProducer3::modEq()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02465">CVC3::ArithTheoremProducerOld::monomialModM()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02288">CVC3::ArithTheoremProducer::monomialModM()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02263">CVC3::ArithTheoremProducer3::monomialModM()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02513">CVC3::ArithTheoremProducerOld::monomialMulF()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02311">CVC3::ArithTheoremProducer3::monomialMulF()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02336">CVC3::ArithTheoremProducer::monomialMulF()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05182">CVC3::TheoryBitvector::newBVConstExpr()</a>, <a class="el" href="rational_8h_source.html#l00159">CVC3::pow()</a>, <a class="el" href="theory__arith_8cpp_source.html#l00054">CVC3::TheoryArith::printRational()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l04662">CVC3::TheoryArithOld::registerAtom()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02445">CVC3::ArithTheoremProducerOld::sumModM()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02268">CVC3::ArithTheoremProducer::sumModM()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02243">CVC3::ArithTheoremProducer3::sumModM()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02493">CVC3::ArithTheoremProducerOld::sumMulF()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02291">CVC3::ArithTheoremProducer3::sumMulF()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02316">CVC3::ArithTheoremProducer::sumMulF()</a>, <a class="el" href="theory__arith__new_8h_source.html#l00476">CVC3::TheoryArithNew::EpsRational::toString()</a>, <a class="el" href="theory__arith__old_8h_source.html#l00695">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational::toString()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l00808">CVC3::TheoryArithNew::updateStats()</a>, <a class="el" href="theory__arith3_8cpp_source.html#l01085">CVC3::TheoryArith3::updateStats()</a>, and <a class="el" href="theory__arith__old_8cpp_source.html#l01143">CVC3::TheoryArithOld::updateStats()</a>.</p>
</div>
</div>
<a class="anchor" id="af35a2ffa7a97a655b32be09a2e7422f9"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">size_t CVC3::Rational::hash </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a6972d9b21f958c8e9c992d7d2e3842f1"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> CVC3::Rational::operator- </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="aae331ee62620a4637fd4dc9ed9469a31"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Rational.html">Rational</a>& CVC3::Rational::operator+= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a698306017c0d9de70b321c31be9b09f5"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Rational.html">Rational</a>& CVC3::Rational::operator-= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a94c018d08fa28632569f7cda4bbe40bf"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Rational.html">Rational</a>& CVC3::Rational::operator*= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="ae8d9c49082175239fbd26cf263dfb417"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Rational.html">Rational</a>& CVC3::Rational::operator/= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em></td><td>)</td>
<td></td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="aa1fdc29580aa7346468fa586aea4deca"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a>& CVC3::Rational::operator++ </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Prefix increment. </p>
<p>Definition at line <a class="el" href="rational_8h_source.html#l00109">109</a> of file <a class="el" href="rational_8h_source.html">rational.h</a>.</p>
</div>
</div>
<a class="anchor" id="ac0e77dca2167add1e9ed59b08a7b586a"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> CVC3::Rational::operator++ </td>
<td>(</td>
<td class="paramtype">int </td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Postfix increment. </p>
<p>Definition at line <a class="el" href="rational_8h_source.html#l00111">111</a> of file <a class="el" href="rational_8h_source.html">rational.h</a>.</p>
</div>
</div>
<a class="anchor" id="add042563a97eee295c6d555efb3e8bcc"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a>& CVC3::Rational::operator-- </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Prefix decrement. </p>
<p>Definition at line <a class="el" href="rational_8h_source.html#l00113">113</a> of file <a class="el" href="rational_8h_source.html">rational.h</a>.</p>
</div>
</div>
<a class="anchor" id="a387bc71b45353f9d1615a65c371dda0d"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> CVC3::Rational::operator-- </td>
<td>(</td>
<td class="paramtype">int </td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Postfix decrement. </p>
<p>Definition at line <a class="el" href="rational_8h_source.html#l00115">115</a> of file <a class="el" href="rational_8h_source.html">rational.h</a>.</p>
</div>
</div>
<a class="anchor" id="a953f2eb850fc3612097b5320dcda6047"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> CVC3::Rational::getNumerator </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</div><div class="memdoc">
<p>Referenced by <a class="el" href="theory__arith3_8cpp_source.html#l01220">CVC3::TheoryArith3::computeNormalFactor()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l01579">CVC3::TheoryArithOld::computeNormalFactor()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l00853">CVC3::TheoryArithNew::computeNormalFactor()</a>, <a class="el" href="translator_8cpp_source.html#l00072">CVC3::Translator::preprocessRec()</a>, <a class="el" href="theory__arith_8cpp_source.html#l00054">CVC3::TheoryArith::printRational()</a>, <a class="el" href="rational_8h_source.html#l00172">CVC3::ratRoot()</a>, and <a class="el" href="LFSCObject_8cpp_source.html#l00539">LFSCObj::what_is_proven()</a>.</p>
</div>
</div>
<a class="anchor" id="a7c237dbba5d9f2b022d13bae3188a7e9"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> CVC3::Rational::getDenominator </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</div><div class="memdoc">
<p>Referenced by <a class="el" href="theory__arith3_8cpp_source.html#l01220">CVC3::TheoryArith3::computeNormalFactor()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l01579">CVC3::TheoryArithOld::computeNormalFactor()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l00853">CVC3::TheoryArithNew::computeNormalFactor()</a>, <a class="el" href="theory__arith_8cpp_source.html#l00054">CVC3::TheoryArith::printRational()</a>, and <a class="el" href="rational_8h_source.html#l00172">CVC3::ratRoot()</a>.</p>
</div>
</div>
<a class="anchor" id="a1366320f4de558bb964c67f8aecedb36"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">bool CVC3::Rational::isInteger </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</div><div class="memdoc">
<p>Referenced by <a class="el" href="theory__arith__new_8cpp_source.html#l01399">CVC3::TheoryArithNew::assignVariables()</a>, <a class="el" href="theory__arith3_8cpp_source.html#l02248">CVC3::TheoryArith3::assignVariables()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l02831">CVC3::TheoryArithOld::assignVariables()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l01080">CVC3::ArithTheoremProducerOld::canonPowConst()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l01030">CVC3::ArithTheoremProducer3::canonPowConst()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l01043">CVC3::ArithTheoremProducer::canonPowConst()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l02913">CVC3::TheoryArithOld::checkIntegerEquality()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l01936">CVC3::TheoryArithNew::computeType()</a>, <a class="el" href="theory__arith3_8cpp_source.html#l02747">CVC3::TheoryArith3::computeType()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l03725">CVC3::TheoryArithOld::computeType()</a>, <a class="el" href="bitvector__theorem__producer_8cpp_source.html#l02270">CVC3::BitvectorTheoremProducer::constMultToPlus()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02025">CVC3::ArithTheoremProducer3::constRHSGrayShadow()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02227">CVC3::ArithTheoremProducerOld::constRHSGrayShadow()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02067">CVC3::ArithTheoremProducer::constRHSGrayShadow()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02506">CVC3::ArithTheoremProducer3::eqElimIntRule()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02531">CVC3::ArithTheoremProducer::eqElimIntRule()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02708">CVC3::ArithTheoremProducerOld::eqElimIntRule()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02091">CVC3::ArithTheoremProducerOld::expandGrayShadow()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l01889">CVC3::ArithTheoremProducer3::expandGrayShadow()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l01931">CVC3::ArithTheoremProducer::expandGrayShadow()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02122">CVC3::ArithTheoremProducerOld::expandGrayShadowConst()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l01920">CVC3::ArithTheoremProducer3::expandGrayShadowConst()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l01962">CVC3::ArithTheoremProducer::expandGrayShadowConst()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l03539">CVC3::ArithTheoremProducerOld::expandGrayShadowRewrite()</a>, <a class="el" href="theory__arith__new_8h_source.html#l00325">CVC3::TheoryArithNew::EpsRational::getFloor()</a>, <a class="el" href="theory__arith__old_8h_source.html#l00526">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational::getFloor()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l01985">CVC3::ArithTheoremProducer3::grayShadowConst()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02187">CVC3::ArithTheoremProducerOld::grayShadowConst()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02027">CVC3::ArithTheoremProducer::grayShadowConst()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02951">CVC3::ArithTheoremProducer3::integerSplit()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l03230">CVC3::ArithTheoremProducerOld::integerSplit()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l03049">CVC3::ArithTheoremProducer::integerSplit()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02095">CVC3::ArithTheoremProducer3::intVarEqnConst()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02138">CVC3::ArithTheoremProducer::intVarEqnConst()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02297">CVC3::ArithTheoremProducerOld::intVarEqnConst()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02598">CVC3::ArithTheoremProducer3::isIntConst()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02623">CVC3::ArithTheoremProducer::isIntConst()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02800">CVC3::ArithTheoremProducerOld::isIntConst()</a>, <a class="el" href="theory__arith__new_8h_source.html#l00312">CVC3::TheoryArithNew::EpsRational::isInteger()</a>, <a class="el" href="theory__arith__old_8h_source.html#l00513">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational::isInteger()</a>, <a class="el" href="theory__arith_8h_source.html#l00178">CVC3::isIntegerConst()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05182">CVC3::TheoryBitvector::newBVConstExpr()</a>, <a class="el" href="theory__records_8cpp_source.html#l00880">CVC3::TheoryRecords::parseExprOp()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l04087">CVC3::TheoryBitvector::parseExprOp()</a>, <a class="el" href="rational_8h_source.html#l00159">CVC3::pow()</a>, <a class="el" href="translator_8cpp_source.html#l00072">CVC3::Translator::preprocessRec()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l03662">CVC3::TheoryBitvector::print()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l03952">CVC3::TheoryArithOld::print()</a>, <a class="el" href="theory__arith_8cpp_source.html#l00054">CVC3::TheoryArith::printRational()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l01541">CVC3::TheoryArithNew::rafineIntegerConstraints()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02970">CVC3::ArithTheoremProducer3::rafineStrictInteger()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l03253">CVC3::ArithTheoremProducerOld::rafineStrictInteger()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l03068">CVC3::ArithTheoremProducer::rafineStrictInteger()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02054">CVC3::ArithTheoremProducerOld::splitGrayShadow()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l01852">CVC3::ArithTheoremProducer3::splitGrayShadow()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l01894">CVC3::ArithTheoremProducer::splitGrayShadow()</a>, and <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l03456">CVC3::ArithTheoremProducerOld::splitGrayShadowSmall()</a>.</p>
</div>
</div>
<a class="anchor" id="a094636dfa3a740640ca1b0c7406f7e8f"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int CVC3::Rational::getInt </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</div><div class="memdoc">
<p>Referenced by <a class="el" href="bitvector__theorem__producer_8cpp_source.html#l02155">CVC3::BitvectorTheoremProducer::bvashrToConcat()</a>, <a class="el" href="bitvector__theorem__producer_8cpp_source.html#l02107">CVC3::BitvectorTheoremProducer::bvlshrToConcat()</a>, <a class="el" href="bitvector__theorem__producer_8cpp_source.html#l02033">CVC3::BitvectorTheoremProducer::bvshlToConcat()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l03567">CVC3::ArithTheoremProducerOld::compactNonLinearTerm()</a>, <a class="el" href="simulate__theorem__producer_8cpp_source.html#l00046">CVC3::SimulateTheoremProducer::expandSimulate()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05331">CVC3::TheoryBitvector::getBitvectorTypeParam()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05356">CVC3::TheoryBitvector::getBoolExtractIndex()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05373">CVC3::TheoryBitvector::getBVIndex()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05431">CVC3::TheoryBitvector::getBVMultParam()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05423">CVC3::TheoryBitvector::getBVPlusParam()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05414">CVC3::TheoryBitvector::getExtractHi()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05405">CVC3::TheoryBitvector::getExtractLow()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05385">CVC3::TheoryBitvector::getFixedLeftShiftParam()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05396">CVC3::TheoryBitvector::getFixedRightShiftParam()</a>, <a class="el" href="theory__records_8cpp_source.html#l01092">CVC3::TheoryRecords::getIndex()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l05365">CVC3::TheoryBitvector::getSXIndex()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l04087">CVC3::TheoryBitvector::parseExprOp()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l03952">CVC3::TheoryArithOld::print()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l03456">CVC3::ArithTheoremProducerOld::splitGrayShadowSmall()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l05334">CVC3::TheoryArithOld::termDegree()</a>, and <a class="el" href="LFSCObject_8cpp_source.html#l00539">LFSCObj::what_is_proven()</a>.</p>
</div>
</div>
<a class="anchor" id="a03270adfe06c382a17f234f9216f31c6"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">bool CVC3::Rational::isUnsigned </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="rational_8h_source.html#l00126">126</a> of file <a class="el" href="rational_8h_source.html">rational.h</a>.</p>
</div>
</div>
<a class="anchor" id="ae6d4bedf76175b8f91283f610b3eb7d0"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">unsigned int CVC3::Rational::getUnsigned </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</div><div class="memdoc">
<p>Referenced by <a class="el" href="theory__arith3_8cpp_source.html#l00432">CVC3::TheoryArith3::doSolve()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l01908">CVC3::TheoryArithNew::finiteTypeInfo()</a>, <a class="el" href="theory__bitvector_8cpp_source.html#l02945">CVC3::TheoryBitvector::finiteTypeInfo()</a>, <a class="el" href="theory__arith3_8cpp_source.html#l02719">CVC3::TheoryArith3::finiteTypeInfo()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l03697">CVC3::TheoryArithOld::finiteTypeInfo()</a>, and <a class="el" href="theory__arith__old_8cpp_source.html#l03076">CVC3::TheoryArithOld::rewrite()</a>.</p>
</div>
</div>
<a class="anchor" id="aae36754c1b698b9eb96ecc3a73ffdd02"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Unsigned.html">Unsigned</a> CVC3::Rational::getUnsignedMP </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</div><div class="memdoc">
<p>Referenced by <a class="el" href="theory__bitvector_8cpp_source.html#l02945">CVC3::TheoryBitvector::finiteTypeInfo()</a>.</p>
</div>
</div>
<a class="anchor" id="a6097017426cfd705045fa66f905d4661"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::Rational::print </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<h2 class="groupheader">Friends And Related Function Documentation</h2>
<a class="anchor" id="a1be03a40a6c2eca44dad1e7d2af079b8"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">friend class <a class="el" href="classCVC3_1_1Unsigned.html">Unsigned</a></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="rational_8h_source.html#l00044">44</a> of file <a class="el" href="rational_8h_source.html">rational.h</a>.</p>
</div>
</div>
<a class="anchor" id="ad69cc477558a022f755db23ee58f21d8"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool operator== </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="ac28c9e6b1b5a7f902abc27dc5fbc379d"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool operator< </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a387ee8e33bcd3d7c97656281e967c0e1"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool operator<= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="addbfac581b12421728b959eadbe4e0f4"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool operator> </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a31b94d619ec162acb2a3e15c0820d533"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool operator>= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="adb7f768e8bf33e3de2a50a7f82b419ef"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> bool <a class="el" href="namespaceCVC3.html#a836d1b9fc2aa13791ad282f3a2d4551e">operator!</a>= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a64f68893940e3cfbe3b54dd4f724f366"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> operator+ </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="abaddbecbc81113118c9458854d8a52b9"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> operator- </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a1992e8fd80dca45b2c87df43431a5cc6"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> operator* </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="abaaea6620c21af723d1bdfda9dd10a4f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> operator/ </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a75c7223bf311810e8f8bbc86a727370c"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> operator% </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n1</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n2</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a46f7bad434bc7a47590875c896e7ab65"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">std::ostream& operator<< </td>
<td>(</td>
<td class="paramtype">std::ostream & </td>
<td class="paramname"><em>os</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>n</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a8b2cf0f10699a162e5a713c7bbb7e356"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">std::ostream& operator<< </td>
<td>(</td>
<td class="paramtype">std::ostream & </td>
<td class="paramname"><em>os</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const Impl & </td>
<td class="paramname"><em>n</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a6be747d2fa9b4e51c391784459268e9f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> gcd </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>x</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>y</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="a82b67685b76f278845508c1145d058ab"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> gcd </td>
<td>(</td>
<td class="paramtype">const std::vector< <a class="el" href="classCVC3_1_1Rational.html">Rational</a> > & </td>
<td class="paramname"><em>v</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="acf570616d2e6e8e88c8b0ef1c54b6315"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> lcm </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>x</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>y</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="ae8bf406a3152d6adf8291e0f9272125c"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> lcm </td>
<td>(</td>
<td class="paramtype">const std::vector< <a class="el" href="classCVC3_1_1Rational.html">Rational</a> > & </td>
<td class="paramname"><em>v</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="afed8d1b5267f8001014d7efdd2ac8392"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> abs </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>x</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
</div>
</div>
<a class="anchor" id="afbefd45d6dd59d74f652c3bb1ec44af7"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> floor </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>x</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Compute the floor of x (result is an integer) </p>
</div>
</div>
<a class="anchor" id="aed2ee8eb592f10cb291a9b7b8ff63d56"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> ceil </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>x</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Compute the ceiling of x (result is an integer) </p>
</div>
</div>
<a class="anchor" id="a3e46ea317a4ee9a7adf18bfc4a4c8b4f"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> mod </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>x</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>y</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Compute non-negative remainder for <em>integer</em> x,y. </p>
</div>
</div>
<a class="anchor" id="a8c2b7267bc656f728ff18d23857aed1c"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="type_8h.html#a0035aac6379df39aa69feba98b2751ba">CVC_DLL</a> <a class="el" href="classCVC3_1_1Rational.html">Rational</a> intRoot </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & </td>
<td class="paramname"><em>base</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned long int </td>
<td class="paramname"><em>n</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">friend</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>nth root: return 0 if no exact answer (base should be nonzero) </p>
</div>
</div>
<h2 class="groupheader">Member Data Documentation</h2>
<a class="anchor" id="a704e9a119182f45ca64d5899f683f17a"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">Impl* CVC3::Rational::d_n</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="rational_8h_source.html#l00046">46</a> of file <a class="el" href="rational_8h_source.html">rational.h</a>.</p>
</div>
</div>
<hr/>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="rational_8h_source.html">rational.h</a></li>
</ul>
</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>
