<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<title>CVC3: CVC3::Rational Class Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<!-- Generated by Doxygen 1.7.4 -->
<div id="top">
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td style="padding-left: 0.5em;">
<div id="projectname">CVC3 <span id="projectnumber">2.4.1</span></div>
</td>
</tr>
</tbody>
</table>
</div>
<div id="navrow1" class="tabs">
<ul class="tablist">
<li><a href="index.html"><span>Main Page</span></a></li>
<li><a href="pages.html"><span>Related Pages</span></a></li>
<li><a href="modules.html"><span>Modules</span></a></li>
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
<li class="current"><a href="annotated.html"><span>Classes</span></a></li>
<li><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div id="navrow2" class="tabs2">
<ul class="tablist">
<li><a href="annotated.html"><span>Class List</span></a></li>
<li><a href="classes.html"><span>Class Index</span></a></li>
<li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li>
<li><a href="functions.html"><span>Class Members</span></a></li>
</ul>
</div>
<div id="nav-path" class="navpath">
<ul>
<li class="navelem"><a class="el" href="namespaceCVC3.html">CVC3</a> </li>
<li class="navelem"><a class="el" href="classCVC3_1_1Rational.html">Rational</a> </li>
</ul>
</div>
</div>
<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> </div>
<div class="headertitle">
<div class="title">CVC3::Rational Class Reference</div> </div>
</div>
<div class="contents">
<!-- doxytag: class="CVC3::Rational" -->
<p><code>#include <<a class="el" href="rational_8h_source.html">rational.h</a>></code></p>
<p><a href="classCVC3_1_1Rational-members.html">List of all members.</a></p>
<h2><a name="pub-methods"></a>
Public Member Functions</h2>
<ul>
<li><a class="el" href="classCVC3_1_1Rational.html#a8f86f975b54d0a491bc909d677023467">Rational</a> ()
<li><a class="el" href="classCVC3_1_1Rational.html#a5f42d70e61ef87bd48bc50a411e570fe">Rational</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n)
<li><a class="el" href="classCVC3_1_1Rational.html#af8835b620e71f155dde0c3a15910e86b">Rational</a> (const <a class="el" href="classCVC3_1_1Unsigned.html">Unsigned</a> &n)
<li><a class="el" href="classCVC3_1_1Rational.html#a5d87148a80ee4701cc096d040a83f09e">Rational</a> (int n, int d=1)
<li><a class="el" href="classCVC3_1_1Rational.html#aa7cf11c20860cdb89d5f46d439d77936">Rational</a> (const char *n, int base=10)
<li><a class="el" href="classCVC3_1_1Rational.html#a7c5688ac49d829f78676762971d1e00f">Rational</a> (const std::string &n, int base=10)
<li><a class="el" href="classCVC3_1_1Rational.html#a131ed4cacb5a5349d843ed5e57eace4a">Rational</a> (const char *n, const char *d, int base=10)
<li><a class="el" href="classCVC3_1_1Rational.html#a1d14ddde06cf47098aedfcc34d506b08">Rational</a> (const std::string &n, const std::string &d, int base=10)
<li><a class="el" href="classCVC3_1_1Rational.html#ab5e1389635b19c5a2f77a999a948a6e2">~Rational</a> ()
<li><a class="el" href="classCVC3_1_1Rational.html">Rational</a> & <a class="el" href="classCVC3_1_1Rational.html#ab2e80babe9194a924d18ec2f4288c3c6">operator=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n)
<li>std::string <a class="el" href="classCVC3_1_1Rational.html#a195c125a76cb9a6c5731369e244a2de3">toString</a> (int base=10) const
<li>size_t <a class="el" href="classCVC3_1_1Rational.html#af35a2ffa7a97a655b32be09a2e7422f9">hash</a> () const
<li><a class="el" href="classCVC3_1_1Rational.html">Rational</a> <a class="el" href="classCVC3_1_1Rational.html#a6972d9b21f958c8e9c992d7d2e3842f1">operator-</a> () const
<li><a class="el" href="classCVC3_1_1Rational.html">Rational</a> & <a class="el" href="classCVC3_1_1Rational.html#aae331ee62620a4637fd4dc9ed9469a31">operator+=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)
<li><a class="el" href="classCVC3_1_1Rational.html">Rational</a> & <a class="el" href="classCVC3_1_1Rational.html#a698306017c0d9de70b321c31be9b09f5">operator-=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)
<li><a class="el" href="classCVC3_1_1Rational.html">Rational</a> & <a class="el" href="classCVC3_1_1Rational.html#a94c018d08fa28632569f7cda4bbe40bf">operator*=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)
<li><a class="el" href="classCVC3_1_1Rational.html">Rational</a> & <a class="el" href="classCVC3_1_1Rational.html#ae8d9c49082175239fbd26cf263dfb417">operator/=</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &n2)
<li>const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & <a class="el" href="classCVC3_1_1Rational.html#aa1fdc29580aa7346468fa586aea4deca">operator++</a> ()
<dl class="el"><dd class="mdescRight">Prefix increment. <a href="#aa1fdc29580aa7346468fa586aea4deca"></a><br/></dl><li><a class="el" href="classCVC3_1_1Rational.html">Rational</a> <a class="el" href="classCVC3_1_1Rational.html#ac0e77dca2167add1e9ed59b08a7b586a">operator++</a> (int)
<dl class="el"><dd class="mdescRight">Postfix increment. <a href="#ac0e77dca2167add1e9ed59b08a7b586a"></a><br/></dl><li>const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> & <a class="el" href="classCVC3_1_1Rational.html#add042563a97eee295c6d555efb3e8bcc">operator--</a> ()
<dl class="el"><dd class="mdescRight">Prefix decrement. <a href="#add042563a97eee295c6d555efb3e8bcc"></a><br/></dl><li><a class="el" href="classCVC3_1_1Rational.html">Rational</a> <a class="el" href="classCVC3_1_1Rational.html#a387bc71b45353f9d1615a65c371dda0d">operator--</a> (int)
<dl class="el"><dd class="mdescRight">Postfix decrement. <a href="#a387bc71b45353f9d1615a65c371dda0d"></a><br/></dl><li><a class="el" href="classCVC3_1_1Rational.html">Rational</a> <a class="el" href="classCVC3_1_1Rational.html#a953f2eb850fc3612097b5320dcda6047">getNumerator</a> () const
<li><a class="el" href="classCVC3_1_1Rational.html">Rational</a> <a class="el" href="classCVC3_1_1Rational.html#a7c237dbba5d9f2b022d13bae3188a7e9">getDenominator</a> () const
<li>bool <a class="el" href="classCVC3_1_1Rational.html#a1366320f4de558bb964c67f8aecedb36">isInteger</a> () const
<li>int <a class="el" href="classCVC3_1_1Rational.html#a094636dfa3a740640ca1b0c7406f7e8f">getInt</a> () const
<li>bool <a class="el" href="classCVC3_1_1Rational.html#a03270adfe06c382a17f234f9216f31c6">isUnsigned</a> () const
<li>unsigned int <a class="el" href="classCVC3_1_1Rational.html#ae6d4bedf76175b8f91283f610b3eb7d0">getUnsigned</a> () const
<li><a class="el" href="classCVC3_1_1Unsigned.html">Unsigned</a> <a class="el" href="classCVC3_1_1Rational.html#aae36754c1b698b9eb96ecc3a73ffdd02">getUnsignedMP</a> () const
<li>void <a class="el" href="classCVC3_1_1Rational.html#a6097017426cfd705045fa66f905d4661">print</a> () const
</ul>
<h2><a name="pri-methods"></a>
Private Member Functions</h2>
<ul>
<li><a class="el" href="classCVC3_1_1Rational.html#a9ad06945464ca21b2171a27d7b47c29e">Rational</a> (const Impl &t)
</ul>
<h2><a name="pri-attribs"></a>
Private Attributes</h2>
<ul>
<li>Impl * <a class="el" href="classCVC3_1_1Rational.html#a704e9a119182f45ca64d5899f683f17a">d_n</a>
</ul>
<h2><a name="friends"></a>
Friends</h2>
<ul>
<li>class <a class="el" href="classCVC3_1_1Rational.html#a1be03a40a6c2eca44dad1e7d2af079b8">Unsigned</a>
<li>CVC_DLL bool <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)
<li>CVC_DLL bool <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)
<li>CVC_DLL bool <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)
<li>CVC_DLL bool <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)
<li>CVC_DLL bool <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)
<li>CVC_DLL bool <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)
<li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <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)
<li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <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)
<li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <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)
<li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <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)
<li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <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)
<li>std::ostream & <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)
<li>std::ostream & <a class="el" href="classCVC3_1_1Rational.html#a8b2cf0f10699a162e5a713c7bbb7e356">operator<<</a> (std::ostream &os, const Impl &n)
<li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <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)
<li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <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)
<li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <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)
<li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <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)
<li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <a class="el" href="classCVC3_1_1Rational.html#afed8d1b5267f8001014d7efdd2ac8392">abs</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &x)
<li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <a class="el" href="classCVC3_1_1Rational.html#afbefd45d6dd59d74f652c3bb1ec44af7">floor</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &x)
<dl class="el"><dd class="mdescRight">Compute the floor of x (result is an integer) <a href="#afbefd45d6dd59d74f652c3bb1ec44af7"></a><br/></dl><li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <a class="el" href="classCVC3_1_1Rational.html#aed2ee8eb592f10cb291a9b7b8ff63d56">ceil</a> (const <a class="el" href="classCVC3_1_1Rational.html">Rational</a> &x)
<dl class="el"><dd class="mdescRight">Compute the ceiling of x (result is an integer) <a href="#aed2ee8eb592f10cb291a9b7b8ff63d56"></a><br/></dl><li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <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)
<dl class="el"><dd class="mdescRight">Compute non-negative remainder for *integer* x,y. <a href="#a3e46ea317a4ee9a7adf18bfc4a4c8b4f"></a><br/></dl><li>CVC_DLL <a class="el" href="classCVC3_1_1Rational.html">Rational</a> <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)
<dl class="el"><dd class="mdescRight">nth root: return 0 if no exact answer (base should be nonzero) <a href="#a8c2b7267bc656f728ff18d23857aed1c"></a><br/></dl></ul>
<hr/><a name="details" id="details"></a><h2>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><hr/><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" id="a9ad06945464ca21b2171a27d7b47c29e"></a><!-- doxytag: member="CVC3::Rational::Rational" ref="a9ad06945464ca21b2171a27d7b47c29e" args="(const Impl &t)" -->
<div class="memitem">
<div class="memproto">
<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><code> [private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="a8f86f975b54d0a491bc909d677023467"></a><!-- doxytag: member="CVC3::Rational::Rational" ref="a8f86f975b54d0a491bc909d677023467" args="()" -->
<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><!-- doxytag: member="CVC3::Rational::Rational" ref="a5f42d70e61ef87bd48bc50a411e570fe" args="(const Rational &n)" -->
<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><!-- doxytag: member="CVC3::Rational::Rational" ref="af8835b620e71f155dde0c3a15910e86b" args="(const Unsigned &n)" -->
<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><!-- doxytag: member="CVC3::Rational::Rational" ref="a5d87148a80ee4701cc096d040a83f09e" args="(int n, int d=1)" -->
<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><!-- doxytag: member="CVC3::Rational::Rational" ref="aa7cf11c20860cdb89d5f46d439d77936" args="(const char *n, int base=10)" -->
<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><!-- doxytag: member="CVC3::Rational::Rational" ref="a7c5688ac49d829f78676762971d1e00f" args="(const std::string &n, int base=10)" -->
<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><!-- doxytag: member="CVC3::Rational::Rational" ref="a131ed4cacb5a5349d843ed5e57eace4a" args="(const char *n, const char *d, int base=10)" -->
<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><!-- doxytag: member="CVC3::Rational::Rational" ref="a1d14ddde06cf47098aedfcc34d506b08" args="(const std::string &n, const std::string &d, int base=10)" -->
<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><!-- doxytag: member="CVC3::Rational::~Rational" ref="ab5e1389635b19c5a2f77a999a948a6e2" args="()" -->
<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>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="ab2e80babe9194a924d18ec2f4288c3c6"></a><!-- doxytag: member="CVC3::Rational::operator=" ref="ab2e80babe9194a924d18ec2f4288c3c6" args="(const Rational &n)" -->
<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><!-- doxytag: member="CVC3::Rational::toString" ref="a195c125a76cb9a6c5731369e244a2de3" args="(int base=10) const " -->
<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__producer3_8cpp_source.html#l02167">CVC3::ArithTheoremProducer3::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__producer__old_8cpp_source.html#l02388">CVC3::ArithTheoremProducerOld::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_8cpp_source.html#l02211">CVC3::ArithTheoremProducer::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__producer3_8cpp_source.html#l02206">CVC3::ArithTheoremProducer3::create_t3()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02231">CVC3::ArithTheoremProducer::create_t3()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l01948">CVC3::TheoryArithOld::currentMaxCoefficient()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02708">CVC3::ArithTheoremProducerOld::eqElimIntRule()</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="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__old_8cpp_source.html#l02780">CVC3::TheoryArithOld::findBounds()</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#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__producer__old_8cpp_source.html#l03230">CVC3::ArithTheoremProducerOld::integerSplit()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02951">CVC3::ArithTheoremProducer3::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__producer3_8cpp_source.html#l02227">CVC3::ArithTheoremProducer3::modEq()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02252">CVC3::ArithTheoremProducer::modEq()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02465">CVC3::ArithTheoremProducerOld::monomialModM()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02263">CVC3::ArithTheoremProducer3::monomialModM()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02288">CVC3::ArithTheoremProducer::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__producer3_8cpp_source.html#l02243">CVC3::ArithTheoremProducer3::sumModM()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02268">CVC3::ArithTheoremProducer::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__old_8h_source.html#l00695">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational::toString()</a>, <a class="el" href="theory__arith__new_8h_source.html#l00476">CVC3::TheoryArithNew::EpsRational::toString()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l01143">CVC3::TheoryArithOld::updateStats()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l00808">CVC3::TheoryArithNew::updateStats()</a>, and <a class="el" href="theory__arith3_8cpp_source.html#l01085">CVC3::TheoryArith3::updateStats()</a>.</p>
</div>
</div>
<a class="anchor" id="af35a2ffa7a97a655b32be09a2e7422f9"></a><!-- doxytag: member="CVC3::Rational::hash" ref="af35a2ffa7a97a655b32be09a2e7422f9" args="() const " -->
<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><!-- doxytag: member="CVC3::Rational::operator-" ref="a6972d9b21f958c8e9c992d7d2e3842f1" args="() const " -->
<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><!-- doxytag: member="CVC3::Rational::operator+=" ref="aae331ee62620a4637fd4dc9ed9469a31" args="(const Rational &n2)" -->
<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><!-- doxytag: member="CVC3::Rational::operator-=" ref="a698306017c0d9de70b321c31be9b09f5" args="(const Rational &n2)" -->
<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><!-- doxytag: member="CVC3::Rational::operator*=" ref="a94c018d08fa28632569f7cda4bbe40bf" args="(const Rational &n2)" -->
<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><!-- doxytag: member="CVC3::Rational::operator/=" ref="ae8d9c49082175239fbd26cf263dfb417" args="(const Rational &n2)" -->
<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><!-- doxytag: member="CVC3::Rational::operator++" ref="aa1fdc29580aa7346468fa586aea4deca" args="()" -->
<div class="memitem">
<div class="memproto">
<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><code> [inline]</code></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><!-- doxytag: member="CVC3::Rational::operator++" ref="ac0e77dca2167add1e9ed59b08a7b586a" args="(int)" -->
<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">int </td>
<td class="paramname"></td><td>)</td>
<td><code> [inline]</code></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><!-- doxytag: member="CVC3::Rational::operator--" ref="add042563a97eee295c6d555efb3e8bcc" args="()" -->
<div class="memitem">
<div class="memproto">
<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><code> [inline]</code></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><!-- doxytag: member="CVC3::Rational::operator--" ref="a387bc71b45353f9d1615a65c371dda0d" args="(int)" -->
<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">int </td>
<td class="paramname"></td><td>)</td>
<td><code> [inline]</code></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><!-- doxytag: member="CVC3::Rational::getNumerator" ref="a953f2eb850fc3612097b5320dcda6047" args="() const " -->
<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__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__arith3_8cpp_source.html#l01220">CVC3::TheoryArith3::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><!-- doxytag: member="CVC3::Rational::getDenominator" ref="a7c237dbba5d9f2b022d13bae3188a7e9" args="() const " -->
<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__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__arith3_8cpp_source.html#l01220">CVC3::TheoryArith3::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><!-- doxytag: member="CVC3::Rational::isInteger" ref="a1366320f4de558bb964c67f8aecedb36" args="() const " -->
<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__old_8cpp_source.html#l02831">CVC3::TheoryArithOld::assignVariables()</a>, <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="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__old_8cpp_source.html#l03725">CVC3::TheoryArithOld::computeType()</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="bitvector__theorem__producer_8cpp_source.html#l02270">CVC3::BitvectorTheoremProducer::constMultToPlus()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02227">CVC3::ArithTheoremProducerOld::constRHSGrayShadow()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02025">CVC3::ArithTheoremProducer3::constRHSGrayShadow()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02067">CVC3::ArithTheoremProducer::constRHSGrayShadow()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02708">CVC3::ArithTheoremProducerOld::eqElimIntRule()</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#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__old_8h_source.html#l00526">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational::getFloor()</a>, <a class="el" href="theory__arith__new_8h_source.html#l00325">CVC3::TheoryArithNew::EpsRational::getFloor()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l02187">CVC3::ArithTheoremProducerOld::grayShadowConst()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l01985">CVC3::ArithTheoremProducer3::grayShadowConst()</a>, <a class="el" href="arith__theorem__producer_8cpp_source.html#l02027">CVC3::ArithTheoremProducer::grayShadowConst()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l03230">CVC3::ArithTheoremProducerOld::integerSplit()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02951">CVC3::ArithTheoremProducer3::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#l02297">CVC3::ArithTheoremProducerOld::intVarEqnConst()</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#l02800">CVC3::ArithTheoremProducerOld::isIntConst()</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="theory__arith__old_8h_source.html#l00513">CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational::isInteger()</a>, <a class="el" href="theory__arith__new_8h_source.html#l00312">CVC3::TheoryArithNew::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__producer__old_8cpp_source.html#l03253">CVC3::ArithTheoremProducerOld::rafineStrictInteger()</a>, <a class="el" href="arith__theorem__producer3_8cpp_source.html#l02970">CVC3::ArithTheoremProducer3::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><!-- doxytag: member="CVC3::Rational::getInt" ref="a094636dfa3a740640ca1b0c7406f7e8f" args="() const " -->
<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><!-- doxytag: member="CVC3::Rational::isUnsigned" ref="a03270adfe06c382a17f234f9216f31c6" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">bool CVC3::Rational::isUnsigned </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const<code> [inline]</code></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><!-- doxytag: member="CVC3::Rational::getUnsigned" ref="ae6d4bedf76175b8f91283f610b3eb7d0" args="() const " -->
<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__bitvector_8cpp_source.html#l02945">CVC3::TheoryBitvector::finiteTypeInfo()</a>, <a class="el" href="theory__arith__old_8cpp_source.html#l03697">CVC3::TheoryArithOld::finiteTypeInfo()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l01908">CVC3::TheoryArithNew::finiteTypeInfo()</a>, <a class="el" href="theory__arith3_8cpp_source.html#l02719">CVC3::TheoryArith3::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><!-- doxytag: member="CVC3::Rational::getUnsignedMP" ref="aae36754c1b698b9eb96ecc3a73ffdd02" args="() const " -->
<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><!-- doxytag: member="CVC3::Rational::print" ref="a6097017426cfd705045fa66f905d4661" args="() const " -->
<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>
<hr/><h2>Friends And Related Function Documentation</h2>
<a class="anchor" id="a1be03a40a6c2eca44dad1e7d2af079b8"></a><!-- doxytag: member="CVC3::Rational::Unsigned" ref="a1be03a40a6c2eca44dad1e7d2af079b8" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">friend class <a class="el" href="classCVC3_1_1Unsigned.html">Unsigned</a><code> [friend]</code></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><!-- doxytag: member="CVC3::Rational::operator==" ref="ad69cc477558a022f755db23ee58f21d8" args="(const Rational &n1, const Rational &n2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL 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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="ac28c9e6b1b5a7f902abc27dc5fbc379d"></a><!-- doxytag: member="CVC3::Rational::operator<" ref="ac28c9e6b1b5a7f902abc27dc5fbc379d" args="(const Rational &n1, const Rational &n2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL 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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="a387ee8e33bcd3d7c97656281e967c0e1"></a><!-- doxytag: member="CVC3::Rational::operator<=" ref="a387ee8e33bcd3d7c97656281e967c0e1" args="(const Rational &n1, const Rational &n2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL 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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="addbfac581b12421728b959eadbe4e0f4"></a><!-- doxytag: member="CVC3::Rational::operator>" ref="addbfac581b12421728b959eadbe4e0f4" args="(const Rational &n1, const Rational &n2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL 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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="a31b94d619ec162acb2a3e15c0820d533"></a><!-- doxytag: member="CVC3::Rational::operator>=" ref="a31b94d619ec162acb2a3e15c0820d533" args="(const Rational &n1, const Rational &n2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL 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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="adb7f768e8bf33e3de2a50a7f82b419ef"></a><!-- doxytag: member="CVC3::Rational::operator!=" ref="adb7f768e8bf33e3de2a50a7f82b419ef" args="(const Rational &n1, const Rational &n2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL 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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="a64f68893940e3cfbe3b54dd4f724f366"></a><!-- doxytag: member="CVC3::Rational::operator+" ref="a64f68893940e3cfbe3b54dd4f724f366" args="(const Rational &n1, const Rational &n2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="abaddbecbc81113118c9458854d8a52b9"></a><!-- doxytag: member="CVC3::Rational::operator-" ref="abaddbecbc81113118c9458854d8a52b9" args="(const Rational &n1, const Rational &n2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="a1992e8fd80dca45b2c87df43431a5cc6"></a><!-- doxytag: member="CVC3::Rational::operator*" ref="a1992e8fd80dca45b2c87df43431a5cc6" args="(const Rational &n1, const Rational &n2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="abaaea6620c21af723d1bdfda9dd10a4f"></a><!-- doxytag: member="CVC3::Rational::operator/" ref="abaaea6620c21af723d1bdfda9dd10a4f" args="(const Rational &n1, const Rational &n2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="a75c7223bf311810e8f8bbc86a727370c"></a><!-- doxytag: member="CVC3::Rational::operator%" ref="a75c7223bf311810e8f8bbc86a727370c" args="(const Rational &n1, const Rational &n2)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="a46f7bad434bc7a47590875c896e7ab65"></a><!-- doxytag: member="CVC3::Rational::operator<<" ref="a46f7bad434bc7a47590875c896e7ab65" args="(std::ostream &os, const Rational &n)" -->
<div class="memitem">
<div class="memproto">
<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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="a8b2cf0f10699a162e5a713c7bbb7e356"></a><!-- doxytag: member="CVC3::Rational::operator<<" ref="a8b2cf0f10699a162e5a713c7bbb7e356" args="(std::ostream &os, const Impl &n)" -->
<div class="memitem">
<div class="memproto">
<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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="a6be747d2fa9b4e51c391784459268e9f"></a><!-- doxytag: member="CVC3::Rational::gcd" ref="a6be747d2fa9b4e51c391784459268e9f" args="(const Rational &x, const Rational &y)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="a82b67685b76f278845508c1145d058ab"></a><!-- doxytag: member="CVC3::Rational::gcd" ref="a82b67685b76f278845508c1145d058ab" args="(const std::vector< Rational > &v)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="acf570616d2e6e8e88c8b0ef1c54b6315"></a><!-- doxytag: member="CVC3::Rational::lcm" ref="acf570616d2e6e8e88c8b0ef1c54b6315" args="(const Rational &x, const Rational &y)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="ae8bf406a3152d6adf8291e0f9272125c"></a><!-- doxytag: member="CVC3::Rational::lcm" ref="ae8bf406a3152d6adf8291e0f9272125c" args="(const std::vector< Rational > &v)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="afed8d1b5267f8001014d7efdd2ac8392"></a><!-- doxytag: member="CVC3::Rational::abs" ref="afed8d1b5267f8001014d7efdd2ac8392" args="(const Rational &x)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
</div>
</div>
<a class="anchor" id="afbefd45d6dd59d74f652c3bb1ec44af7"></a><!-- doxytag: member="CVC3::Rational::floor" ref="afbefd45d6dd59d74f652c3bb1ec44af7" args="(const Rational &x)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></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><!-- doxytag: member="CVC3::Rational::ceil" ref="aed2ee8eb592f10cb291a9b7b8ff63d56" args="(const Rational &x)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></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><!-- doxytag: member="CVC3::Rational::mod" ref="a3e46ea317a4ee9a7adf18bfc4a4c8b4f" args="(const Rational &x, const Rational &y)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Compute non-negative remainder for *integer* x,y. </p>
</div>
</div>
<a class="anchor" id="a8c2b7267bc656f728ff18d23857aed1c"></a><!-- doxytag: member="CVC3::Rational::intRoot" ref="a8c2b7267bc656f728ff18d23857aed1c" args="(const Rational &base, unsigned long int n)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC_DLL <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><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>nth root: return 0 if no exact answer (base should be nonzero) </p>
</div>
</div>
<hr/><h2>Member Data Documentation</h2>
<a class="anchor" id="a704e9a119182f45ca64d5899f683f17a"></a><!-- doxytag: member="CVC3::Rational::d_n" ref="a704e9a119182f45ca64d5899f683f17a" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Impl* <a class="el" href="classCVC3_1_1Rational.html#a704e9a119182f45ca64d5899f683f17a">CVC3::Rational::d_n</a><code> [private]</code></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>
<hr class="footer"/><address class="footer"><small>Generated on Wed Sep 7 2011 for CVC3 by 
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.4 </small></address>
</body>
</html>
