<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8">
<title>PolyBoRi: polybori::LexOrder 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.5.9 -->
<div class="navigation" id="top">
<div class="tabs">
<ul>
<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="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 class="tabs">
<ul>
<li><a href="annotated.html"><span>Class List</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 class="navpath"><a class="el" href="namespacepolybori.html">polybori</a>::<a class="el" href="classpolybori_1_1LexOrder.html">LexOrder</a>
</div>
</div>
<div class="contents">
<h1>polybori::LexOrder Class Reference</h1><!-- doxytag: class="polybori::LexOrder" --><!-- doxytag: inherits="polybori::COrderBase" -->This class defines ordering related functions.
<a href="#_details">More...</a>
<p>
<code>#include <<a class="el" href="LexOrder_8h_source.html">LexOrder.h</a>></code>
<p>
<div class="dynheader">
Inheritance diagram for polybori::LexOrder:</div>
<div class="dynsection">
<p><center><img src="classpolybori_1_1LexOrder.png" usemap="#polybori::LexOrder_map" border="0" alt=""></center>
<map name="polybori::LexOrder_map">
<area href="classpolybori_1_1COrderBase.html" alt="polybori::COrderBase" shape="rect" coords="0,56,135,80">
<area href="structpolybori_1_1CAuxTypes.html" alt="polybori::CAuxTypes" shape="rect" coords="0,0,135,24">
</map>
</div>
<p>
<a href="classpolybori_1_1LexOrder-members.html">List of all members.</a><table border="0" cellpadding="0" cellspacing="0">
<tr><td></td></tr>
<tr><td colspan="2"><br><h2>Public Types</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">enum </td><td class="memItemRight" valign="bottom">{ <a class="el" href="classpolybori_1_1LexOrder.html#06561939d605668d66d0cb2a23e8170ff6fb011f3abb604f82e553fd028086fa">order_code</a> = CTypes::lp,
<a class="el" href="classpolybori_1_1LexOrder.html#06561939d605668d66d0cb2a23e8170f638848f5e5c5d022bdcd38c466e2782d">baseorder_code</a> = order_code
}</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get order code. <a href="classpolybori_1_1LexOrder.html#06561939d605668d66d0cb2a23e8170f">More...</a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1LexOrder.html">LexOrder</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#b3c87e197c60ac597426ed8fdf476be8">self</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">generic access to current type <a href="#b3c87e197c60ac597426ed8fdf476be8"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef std::less< <a class="el" href="classpolybori_1_1COrderBase.html#166639953567c0341e186c64654a05a0">idx_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#7ce57c1dbae5caed396fa9de23634dfc">idx_comparer_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Define binary predicate for index comparision. <a href="#7ce57c1dbae5caed396fa9de23634dfc"></a><br></td></tr>
<tr><td colspan="2"><div class="groupHeader">define generic property markers</div></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1valid__tag.html">valid_tag</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#5ced4b3f6490881785c8485f3ff25183">lex_property</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1valid__tag.html">valid_tag</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#966b8424fddd9a0ea341270375e4ee0a">ordered_property</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1valid__tag.html">valid_tag</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#cf628b1bf1bdf7506b63ecf3aedaa3f9">symmetry_property</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1valid__tag.html">valid_tag</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#c245e7e256f83e003d2b528dabdf8353">descending_property</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="structpolybori_1_1lex__tag.html">lex_tag</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#5216eb2479bf1ec592b3a7a808af5376">order_tag</a></td></tr>
<tr><td colspan="2"><br><h2>Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#84ab9fbb7428c2f33d5230fbb617a357">LexOrder</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Default Constructor. <a href="#84ab9fbb7428c2f33d5230fbb617a357"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#820c4ca4e29498df4ffbc7cbb198b50a">LexOrder</a> (const <a class="el" href="classpolybori_1_1LexOrder.html">self</a> &rhs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Copy Constructor. <a href="#820c4ca4e29498df4ffbc7cbb198b50a"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#434087fcc5766f8f9bc4a6f49693404d">~LexOrder</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="#434087fcc5766f8f9bc4a6f49693404d"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="structpolybori_1_1CAuxTypes.html#c65df1421059e92da32ec24121d4192f">comp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#53b1fa2af971f566c0f9b73fbd0c36e7">compare</a> (<a class="el" href="classpolybori_1_1COrderBase.html#166639953567c0341e186c64654a05a0">idx_type</a>, <a class="el" href="classpolybori_1_1COrderBase.html#166639953567c0341e186c64654a05a0">idx_type</a>) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Comparison of indices corresponding to variables. <a href="#53b1fa2af971f566c0f9b73fbd0c36e7"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="structpolybori_1_1CAuxTypes.html#c65df1421059e92da32ec24121d4192f">comp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#08e53b959e043b4dfecf5ffe0fc8a0ef">compare</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &, const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Comparison of monomials. <a href="#08e53b959e043b4dfecf5ffe0fc8a0ef"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="structpolybori_1_1CAuxTypes.html#c65df1421059e92da32ec24121d4192f">comp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#0a7e08f3e53361a8afc798c7043a8547">compare</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> &, const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Comparison of exponent vectors. <a href="#0a7e08f3e53361a8afc798c7043a8547"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#4b7a4dcbdb7d145e6d28059ccc8719bc">lead</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading term. <a href="#4b7a4dcbdb7d145e6d28059ccc8719bc"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#469a306ea9cbbd4b8dbb569253b17af1">lead</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &poly, <a class="el" href="classpolybori_1_1COrderBase.html#322bdadf8a951e359d41fc2fc40dc086">size_type</a>) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading term (using upper bound). <a href="#469a306ea9cbbd4b8dbb569253b17af1"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#9467078d7185a46f51ffe1b2c8608d18">leadExp</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading exponent. <a href="#9467078d7185a46f51ffe1b2c8608d18"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#b8aa266e142738178467f98e226bce3c">leadExp</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &poly, <a class="el" href="classpolybori_1_1COrderBase.html#322bdadf8a951e359d41fc2fc40dc086">size_type</a>) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading exponent (using upper bound). <a href="#b8aa266e142738178467f98e226bce3c"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">indirect_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#70df8396388d4a13f6982cfeb9513ca6">leadIteratorBegin</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Initialize iterator corresponding to leading term. <a href="#70df8396388d4a13f6982cfeb9513ca6"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">indirect_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#95b2b829004473b8429c9ef3f1145933">leadIteratorEnd</a> () const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">indirect_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#76ccc95de38fa919f2f6c8698db63b25">leadExpIteratorBegin</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &) const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">indirect_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1LexOrder.html#d072e33c180e84021eb6c7858da312b3">leadExpIteratorEnd</a> () const </td></tr>
</table>
<hr><a name="_details"></a><h2>Detailed Description</h2>
This class defines ordering related functions. <hr><h2>Member Typedef Documentation</h2>
<a class="anchor" name="c245e7e256f83e003d2b528dabdf8353"></a><!-- doxytag: member="polybori::LexOrder::descending_property" ref="c245e7e256f83e003d2b528dabdf8353" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1valid__tag.html">valid_tag</a> <a class="el" href="structpolybori_1_1valid__tag.html">polybori::LexOrder::descending_property</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1COrderBase.html#10df354dcf406c2508bed2d87e18c56d">polybori::COrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="7ce57c1dbae5caed396fa9de23634dfc"></a><!-- doxytag: member="polybori::LexOrder::idx_comparer_type" ref="7ce57c1dbae5caed396fa9de23634dfc" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef std::less<<a class="el" href="classpolybori_1_1COrderBase.html#166639953567c0341e186c64654a05a0">idx_type</a>> <a class="el" href="classpolybori_1_1LexOrder.html#7ce57c1dbae5caed396fa9de23634dfc">polybori::LexOrder::idx_comparer_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Define binary predicate for index comparision.
<p>
</div>
</div><p>
<a class="anchor" name="5ced4b3f6490881785c8485f3ff25183"></a><!-- doxytag: member="polybori::LexOrder::lex_property" ref="5ced4b3f6490881785c8485f3ff25183" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1valid__tag.html">valid_tag</a> <a class="el" href="structpolybori_1_1valid__tag.html">polybori::LexOrder::lex_property</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1COrderBase.html#38ecb1433f6eb3651bd49a99250d8a84">polybori::COrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="5216eb2479bf1ec592b3a7a808af5376"></a><!-- doxytag: member="polybori::LexOrder::order_tag" ref="5216eb2479bf1ec592b3a7a808af5376" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1lex__tag.html">lex_tag</a> <a class="el" href="structpolybori_1_1lex__tag.html">polybori::LexOrder::order_tag</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<a class="anchor" name="966b8424fddd9a0ea341270375e4ee0a"></a><!-- doxytag: member="polybori::LexOrder::ordered_property" ref="966b8424fddd9a0ea341270375e4ee0a" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1valid__tag.html">valid_tag</a> <a class="el" href="structpolybori_1_1valid__tag.html">polybori::LexOrder::ordered_property</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1COrderBase.html#e7b7b81fcfffbcd3ff4aa2fbe7f686dd">polybori::COrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="b3c87e197c60ac597426ed8fdf476be8"></a><!-- doxytag: member="polybori::LexOrder::self" ref="b3c87e197c60ac597426ed8fdf476be8" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1LexOrder.html">LexOrder</a> <a class="el" href="classpolybori_1_1LexOrder.html">polybori::LexOrder::self</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
generic access to current type
<p>
</div>
</div><p>
<a class="anchor" name="cf628b1bf1bdf7506b63ecf3aedaa3f9"></a><!-- doxytag: member="polybori::LexOrder::symmetry_property" ref="cf628b1bf1bdf7506b63ecf3aedaa3f9" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="structpolybori_1_1valid__tag.html">valid_tag</a> <a class="el" href="structpolybori_1_1valid__tag.html">polybori::LexOrder::symmetry_property</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1COrderBase.html#9b568c3b42f72ae732813f9a8a28c01d">polybori::COrderBase</a>.</p>
</div>
</div><p>
<hr><h2>Member Enumeration Documentation</h2>
<a class="anchor" name="06561939d605668d66d0cb2a23e8170f"></a><!-- doxytag: member="polybori::LexOrder::@17" ref="06561939d605668d66d0cb2a23e8170f" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">anonymous enum </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get order code.
<p>
<dl compact><dt><b>Enumerator: </b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"><em><a class="anchor" name="06561939d605668d66d0cb2a23e8170ff6fb011f3abb604f82e553fd028086fa"></a><!-- doxytag: member="order_code" ref="06561939d605668d66d0cb2a23e8170ff6fb011f3abb604f82e553fd028086fa" args="" -->order_code</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" name="06561939d605668d66d0cb2a23e8170f638848f5e5c5d022bdcd38c466e2782d"></a><!-- doxytag: member="baseorder_code" ref="06561939d605668d66d0cb2a23e8170f638848f5e5c5d022bdcd38c466e2782d" args="" -->baseorder_code</em> </td><td>
</td></tr>
</table>
</dl>
</div>
</div><p>
<hr><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" name="84ab9fbb7428c2f33d5230fbb617a357"></a><!-- doxytag: member="polybori::LexOrder::LexOrder" ref="84ab9fbb7428c2f33d5230fbb617a357" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::LexOrder::LexOrder </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Default Constructor.
<p>
</div>
</div><p>
<a class="anchor" name="820c4ca4e29498df4ffbc7cbb198b50a"></a><!-- doxytag: member="polybori::LexOrder::LexOrder" ref="820c4ca4e29498df4ffbc7cbb198b50a" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::LexOrder::LexOrder </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1LexOrder.html">self</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Copy Constructor.
<p>
</div>
</div><p>
<a class="anchor" name="434087fcc5766f8f9bc4a6f49693404d"></a><!-- doxytag: member="polybori::LexOrder::~LexOrder" ref="434087fcc5766f8f9bc4a6f49693404d" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">polybori::LexOrder::~LexOrder </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Destructor.
<p>
</div>
</div><p>
<hr><h2>Member Function Documentation</h2>
<a class="anchor" name="0a7e08f3e53361a8afc798c7043a8547"></a><!-- doxytag: member="polybori::LexOrder::compare" ref="0a7e08f3e53361a8afc798c7043a8547" args="(const exp_type &, const exp_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolybori_1_1CAuxTypes.html#c65df1421059e92da32ec24121d4192f">LexOrder::comp_type</a> polybori::LexOrder::compare </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> & </td>
<td class="paramname"> <em>lhs</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> & </td>
<td class="paramname"> <em>rhs</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td> const<code> [virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Comparison of exponent vectors.
<p>
<p>Implements <a class="el" href="classpolybori_1_1COrderBase.html#a1c6ed7e4b52f58b826dc320d484faf6">polybori::COrderBase</a>.</p>
<p>References <a class="el" href="pbori__routines__order_8h_source.html#l00102">polybori::lex_compare()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="08e53b959e043b4dfecf5ffe0fc8a0ef"></a><!-- doxytag: member="polybori::LexOrder::compare" ref="08e53b959e043b4dfecf5ffe0fc8a0ef" args="(const monom_type &, const monom_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolybori_1_1CAuxTypes.html#c65df1421059e92da32ec24121d4192f">LexOrder::comp_type</a> polybori::LexOrder::compare </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> & </td>
<td class="paramname"> <em>lhs</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> & </td>
<td class="paramname"> <em>rhs</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td> const<code> [virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Comparison of monomials.
<p>
<p>Implements <a class="el" href="classpolybori_1_1COrderBase.html#56aff8e656a14d37d15503b2f6e1dc23">polybori::COrderBase</a>.</p>
<p>References <a class="el" href="pbori__routines__order_8h_source.html#l00102">polybori::lex_compare()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="53b1fa2af971f566c0f9b73fbd0c36e7"></a><!-- doxytag: member="polybori::LexOrder::compare" ref="53b1fa2af971f566c0f9b73fbd0c36e7" args="(idx_type, idx_type) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="structpolybori_1_1CAuxTypes.html#c65df1421059e92da32ec24121d4192f">LexOrder::comp_type</a> polybori::LexOrder::compare </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1COrderBase.html#166639953567c0341e186c64654a05a0">idx_type</a> </td>
<td class="paramname"> <em>lhs</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1COrderBase.html#166639953567c0341e186c64654a05a0">idx_type</a> </td>
<td class="paramname"> <em>rhs</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td> const<code> [virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Comparison of indices corresponding to variables.
<p>
<p>Implements <a class="el" href="classpolybori_1_1COrderBase.html#317089865cfba81e1f94cf2ff9872bc7">polybori::COrderBase</a>.</p>
<p>References <a class="el" href="pbori__algo_8h_source.html#l00667">polybori::generic_compare_3way()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
<p>Referenced by <a class="el" href="nf_8cc_source.html#l01283">polybori::groebner::LexOrderGreaterComparer::operator()()</a>.</p>
</div>
</div><p>
<a class="anchor" name="469a306ea9cbbd4b8dbb569253b17af1"></a><!-- doxytag: member="polybori::LexOrder::lead" ref="469a306ea9cbbd4b8dbb569253b17af1" args="(const poly_type &poly, size_type) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> polybori::LexOrder::lead </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> & </td>
<td class="paramname"> <em>poly</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1COrderBase.html#322bdadf8a951e359d41fc2fc40dc086">size_type</a> </td>
<td class="paramname"></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get leading term (using upper bound).
<p>
<p>Implements <a class="el" href="classpolybori_1_1COrderBase.html#f03c47a559fc9b61db8794e7a9a8fb36">polybori::COrderBase</a>.</p>
<p>References <a class="el" href="LexOrder_8h_source.html#l00144">lead()</a>.</p>
<p>Referenced by <a class="el" href="LexOrder_8h_source.html#l00144">lead()</a>.</p>
</div>
</div><p>
<a class="anchor" name="4b7a4dcbdb7d145e6d28059ccc8719bc"></a><!-- doxytag: member="polybori::LexOrder::lead" ref="4b7a4dcbdb7d145e6d28059ccc8719bc" args="(const poly_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleMonomial.html">LexOrder::monom_type</a> polybori::LexOrder::lead </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> & </td>
<td class="paramname"> <em>poly</em> </td>
<td> ) </td>
<td> const<code> [virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get leading term.
<p>
<p>Implements <a class="el" href="classpolybori_1_1COrderBase.html#60beb85ae70103ee26e1dfe169e3a603">polybori::COrderBase</a>.</p>
<p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00887">polybori::BoolePolynomial::firstBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00895">polybori::BoolePolynomial::firstEnd()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00755">polybori::BoolePolynomial::lexLmDeg()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, <a class="el" href="pbori__algo_8h_source.html#l00290">polybori::reversed_inter_copy()</a>, and <a class="el" href="BoolePolynomial_8h_source.html#l00790">polybori::BoolePolynomial::ring()</a>.</p>
</div>
</div><p>
<a class="anchor" name="b8aa266e142738178467f98e226bce3c"></a><!-- doxytag: member="polybori::LexOrder::leadExp" ref="b8aa266e142738178467f98e226bce3c" args="(const poly_type &poly, size_type) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> polybori::LexOrder::leadExp </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> & </td>
<td class="paramname"> <em>poly</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1COrderBase.html#322bdadf8a951e359d41fc2fc40dc086">size_type</a> </td>
<td class="paramname"></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get leading exponent (using upper bound).
<p>
<p>Implements <a class="el" href="classpolybori_1_1COrderBase.html#1815e6de7572e4b5f749e500255b4dd8">polybori::COrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="9467078d7185a46f51ffe1b2c8608d18"></a><!-- doxytag: member="polybori::LexOrder::leadExp" ref="9467078d7185a46f51ffe1b2c8608d18" args="(const poly_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">LexOrder::exp_type</a> polybori::LexOrder::leadExp </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> & </td>
<td class="paramname"> <em>poly</em> </td>
<td> ) </td>
<td> const<code> [virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get leading exponent.
<p>
<p>Implements <a class="el" href="classpolybori_1_1COrderBase.html#b0ce5171fad18bf43c4560d296c51fb4">polybori::COrderBase</a>.</p>
<p>References <a class="el" href="BoolePolynomial_8cc_source.html#l00887">polybori::BoolePolynomial::firstBegin()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00895">polybori::BoolePolynomial::firstEnd()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00607">polybori::BoolePolynomial::isOne()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00604">polybori::BoolePolynomial::isZero()</a>, <a class="el" href="BoolePolynomial_8cc_source.html#l00755">polybori::BoolePolynomial::lexLmDeg()</a>, <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>, and <a class="el" href="BooleExponent_8h_source.html#l00177">polybori::BooleExponent::reserve()</a>.</p>
</div>
</div><p>
<a class="anchor" name="76ccc95de38fa919f2f6c8698db63b25"></a><!-- doxytag: member="polybori::LexOrder::leadExpIteratorBegin" ref="76ccc95de38fa919f2f6c8698db63b25" args="(const poly_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">LexOrder::indirect_exp_iterator</a> polybori::LexOrder::leadExpIteratorBegin </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> & </td>
<td class="paramname"> <em>poly</em> </td>
<td> ) </td>
<td> const<code> [virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Implements <a class="el" href="classpolybori_1_1COrderBase.html#7a1d0721ce7359e4c455641bba508623">polybori::COrderBase</a>.</p>
<p>References <a class="el" href="BoolePolynomial_8h_source.html#l00773">polybori::BoolePolynomial::diagram()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">polybori::BoolePolynomial::navigation()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="d072e33c180e84021eb6c7858da312b3"></a><!-- doxytag: member="polybori::LexOrder::leadExpIteratorEnd" ref="d072e33c180e84021eb6c7858da312b3" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">LexOrder::indirect_exp_iterator</a> polybori::LexOrder::leadExpIteratorEnd </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Implements <a class="el" href="classpolybori_1_1COrderBase.html#14552bdde31666811128c6ce1a92ae35">polybori::COrderBase</a>.</p>
<p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="70df8396388d4a13f6982cfeb9513ca6"></a><!-- doxytag: member="polybori::LexOrder::leadIteratorBegin" ref="70df8396388d4a13f6982cfeb9513ca6" args="(const poly_type &) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">LexOrder::indirect_iterator</a> polybori::LexOrder::leadIteratorBegin </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> & </td>
<td class="paramname"> <em>poly</em> </td>
<td> ) </td>
<td> const<code> [virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Initialize iterator corresponding to leading term.
<p>
<p>Implements <a class="el" href="classpolybori_1_1COrderBase.html#2e202cf97ad61d570bd3d1a379e3a873">polybori::COrderBase</a>.</p>
<p>References <a class="el" href="BoolePolynomial_8h_source.html#l00773">polybori::BoolePolynomial::diagram()</a>, <a class="el" href="BoolePolynomial_8h_source.html#l00753">polybori::BoolePolynomial::navigation()</a>, and <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<a class="anchor" name="95b2b829004473b8429c9ef3f1145933"></a><!-- doxytag: member="polybori::LexOrder::leadIteratorEnd" ref="95b2b829004473b8429c9ef3f1145933" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">LexOrder::indirect_iterator</a> polybori::LexOrder::leadIteratorEnd </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Implements <a class="el" href="classpolybori_1_1COrderBase.html#71dd0099c91120590d8051e09d791bcb">polybori::COrderBase</a>.</p>
<p>References <a class="el" href="pbori__defs_8h_source.html#l00226">PBORI_TRACE_FUNC</a>.</p>
</div>
</div><p>
<hr>The documentation for this class was generated from the following files:<ul>
<li><a class="el" href="LexOrder_8h_source.html">LexOrder.h</a><li><a class="el" href="LexOrder_8cc.html">LexOrder.cc</a></ul>
</div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:03 2009 for PolyBoRi by
<a href="http://www.doxygen.org/index.html">
<img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.9 </small></address>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
a24e1a39141f9b4ca49bd1e2e23a54ba
>
files
>
370
