<!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: LexOrder.h Source File</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><a href="annotated.html"><span>Classes</span></a></li>
<li class="current"><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div class="tabs">
<ul>
<li><a href="files.html"><span>File List</span></a></li>
<li><a href="globals.html"><span>File Members</span></a></li>
</ul>
</div>
<h1>LexOrder.h</h1><a href="LexOrder_8h.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">// -*- c++ -*-</span>
<a name="l00002"></a>00002 <span class="comment">//*****************************************************************************</span>
<a name="l00078"></a>00078 <span class="comment"></span><span class="comment">//*****************************************************************************</span>
<a name="l00079"></a>00079
<a name="l00080"></a>00080 <span class="comment">// include basic definitions</span>
<a name="l00081"></a>00081 <span class="preprocessor">#include "<a class="code" href="pbori__defs_8h.html">pbori_defs.h</a>"</span>
<a name="l00082"></a>00082
<a name="l00083"></a>00083 <span class="comment">// include base order definitions</span>
<a name="l00084"></a>00084 <span class="preprocessor">#include "<a class="code" href="COrderBase_8h.html">COrderBase.h</a>"</span>
<a name="l00085"></a>00085
<a name="l00086"></a>00086 <span class="preprocessor">#ifndef LexOrder_h_</span>
<a name="l00087"></a>00087 <span class="preprocessor"></span><span class="preprocessor">#define LexOrder_h_</span>
<a name="l00088"></a>00088 <span class="preprocessor"></span>
<a name="l00089"></a>00089 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00090"></a>00090
<a name="l00096"></a><a class="code" href="classpolybori_1_1LexOrder.html">00096</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1LexOrder.html" title="This class defines ordering related functions.">LexOrder</a>:
<a name="l00097"></a>00097 <span class="keyword">public</span> <a class="code" href="classpolybori_1_1COrderBase.html" title="This class defines ordering related functions.">COrderBase</a> {
<a name="l00098"></a>00098
<a name="l00099"></a>00099 <span class="keyword">public</span>:
<a name="l00100"></a>00100 <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00101"></a>00101 <span class="comment">// types definitions</span>
<a name="l00102"></a>00102 <span class="comment">//-------------------------------------------------------------------------</span>
<a name="l00103"></a>00103
<a name="l00105"></a><a class="code" href="classpolybori_1_1LexOrder.html#b3c87e197c60ac597426ed8fdf476be8">00105</a> <span class="keyword">typedef</span> <a class="code" href="classpolybori_1_1LexOrder.html" title="This class defines ordering related functions.">LexOrder</a> <span class="keyword">self</span>;
<a name="l00106"></a>00106
<a name="l00108"></a>00108
<a name="l00109"></a><a class="code" href="classpolybori_1_1LexOrder.html#5ced4b3f6490881785c8485f3ff25183">00109</a> <span class="keyword">typedef</span> <a class="code" href="structpolybori_1_1valid__tag.html" title="This class shows, whether a property of an order is valid.">valid_tag</a> <a class="code" href="structpolybori_1_1invalid__tag.html" title="This class shows, whether a property of an order is invalid.">lex_property</a>;
<a name="l00110"></a><a class="code" href="classpolybori_1_1LexOrder.html#966b8424fddd9a0ea341270375e4ee0a">00110</a> <span class="keyword">typedef</span> <a class="code" href="structpolybori_1_1valid__tag.html" title="This class shows, whether a property of an order is valid.">valid_tag</a> <a class="code" href="structpolybori_1_1invalid__tag.html" title="This class shows, whether a property of an order is invalid.">ordered_property</a>;
<a name="l00111"></a><a class="code" href="classpolybori_1_1LexOrder.html#cf628b1bf1bdf7506b63ecf3aedaa3f9">00111</a> <span class="keyword">typedef</span> <a class="code" href="structpolybori_1_1valid__tag.html" title="This class shows, whether a property of an order is valid.">valid_tag</a> <a class="code" href="structpolybori_1_1invalid__tag.html" title="This class shows, whether a property of an order is invalid.">symmetry_property</a>;
<a name="l00112"></a><a class="code" href="classpolybori_1_1LexOrder.html#c245e7e256f83e003d2b528dabdf8353">00112</a> <span class="keyword">typedef</span> <a class="code" href="structpolybori_1_1valid__tag.html" title="This class shows, whether a property of an order is valid.">valid_tag</a> <a class="code" href="structpolybori_1_1invalid__tag.html" title="This class shows, whether a property of an order is invalid.">descending_property</a>;
<a name="l00113"></a><a class="code" href="classpolybori_1_1LexOrder.html#5216eb2479bf1ec592b3a7a808af5376">00113</a> <span class="keyword">typedef</span> <a class="code" href="structpolybori_1_1lex__tag.html" title="Marker for lex ordering.">lex_tag</a> <a class="code" href="structpolybori_1_1lex__tag.html" title="Marker for lex ordering.">order_tag</a>;
<a name="l00115"></a>00115
<a name="l00117"></a><a class="code" href="classpolybori_1_1LexOrder.html#06561939d605668d66d0cb2a23e8170ff6fb011f3abb604f82e553fd028086fa">00117</a> <span class="keyword">enum</span> { order_code = CTypes::lp, baseorder_code = order_code };
<a name="l00118"></a>00118
<a name="l00120"></a><a class="code" href="classpolybori_1_1LexOrder.html#7ce57c1dbae5caed396fa9de23634dfc">00120</a> <span class="keyword">typedef</span> std::less<idx_type> idx_comparer_type;
<a name="l00121"></a>00121
<a name="l00123"></a><a class="code" href="classpolybori_1_1LexOrder.html#84ab9fbb7428c2f33d5230fbb617a357">00123</a> <a class="code" href="classpolybori_1_1LexOrder.html#84ab9fbb7428c2f33d5230fbb617a357" title="Default Constructor.">LexOrder</a>(): <a class="code" href="classpolybori_1_1COrderBase.html" title="This class defines ordering related functions.">base</a>() {};
<a name="l00124"></a>00124
<a name="l00126"></a><a class="code" href="classpolybori_1_1LexOrder.html#820c4ca4e29498df4ffbc7cbb198b50a">00126</a> <a class="code" href="classpolybori_1_1LexOrder.html#820c4ca4e29498df4ffbc7cbb198b50a" title="Copy Constructor.">LexOrder</a>(<span class="keyword">const</span> <span class="keyword">self</span>& rhs): <a class="code" href="classpolybori_1_1COrderBase.html" title="This class defines ordering related functions.">base</a>(rhs) {};
<a name="l00127"></a>00127
<a name="l00129"></a><a class="code" href="classpolybori_1_1LexOrder.html#434087fcc5766f8f9bc4a6f49693404d">00129</a> <a class="code" href="classpolybori_1_1LexOrder.html#434087fcc5766f8f9bc4a6f49693404d" title="Destructor.">~LexOrder</a>() {};
<a name="l00130"></a>00130
<a name="l00132"></a>00132 comp_type compare(<a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>, <a class="code" href="namespacepolybori_1_1groebner.html#ef37a95e97afbd561cc4c5f84d660765">idx_type</a>) <span class="keyword">const</span>;
<a name="l00133"></a>00133
<a name="l00135"></a>00135 comp_type compare(<span class="keyword">const</span> monom_type&, <span class="keyword">const</span> monom_type&) <span class="keyword">const</span>;
<a name="l00136"></a>00136
<a name="l00138"></a>00138 comp_type compare(<span class="keyword">const</span> exp_type&, <span class="keyword">const</span> exp_type&) <span class="keyword">const</span>;
<a name="l00139"></a>00139
<a name="l00141"></a>00141 monom_type lead(<span class="keyword">const</span> poly_type&) <span class="keyword">const</span>;
<a name="l00142"></a>00142
<a name="l00144"></a><a class="code" href="classpolybori_1_1LexOrder.html#469a306ea9cbbd4b8dbb569253b17af1">00144</a> <a class="code" href="classpolybori_1_1BooleMonomial.html" title="This class is just a wrapper for using variables from cudd&#39;s decicion diagram...">monom_type</a> <a class="code" href="classpolybori_1_1LexOrder.html#469a306ea9cbbd4b8dbb569253b17af1" title="Get leading term (using upper bound).">lead</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BoolePolynomial.html" title="This class wraps the underlying decicion diagram type and defines the necessary operations...">poly_type</a>& poly, size_type)<span class="keyword"> const </span>{ <span class="keywordflow">return</span> <a class="code" href="classpolybori_1_1LexOrder.html#469a306ea9cbbd4b8dbb569253b17af1" title="Get leading term (using upper bound).">lead</a>(poly); }
<a name="l00145"></a>00145
<a name="l00147"></a>00147 exp_type leadExp(<span class="keyword">const</span> poly_type&) <span class="keyword">const</span>;
<a name="l00148"></a>00148
<a name="l00150"></a><a class="code" href="classpolybori_1_1LexOrder.html#b8aa266e142738178467f98e226bce3c">00150</a> <a class="code" href="classpolybori_1_1BooleExponent.html" title="This class is just a wrapper for using variables for storing indices as interim data...">exp_type</a> <a class="code" href="classpolybori_1_1LexOrder.html#b8aa266e142738178467f98e226bce3c" title="Get leading exponent (using upper bound).">leadExp</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1BoolePolynomial.html" title="This class wraps the underlying decicion diagram type and defines the necessary operations...">poly_type</a>& poly, size_type)<span class="keyword"> const </span>{
<a name="l00151"></a>00151 <span class="keywordflow">return</span> leadExp(poly); }
<a name="l00152"></a>00152
<a name="l00154"></a>00154 indirect_iterator leadIteratorBegin(<span class="keyword">const</span> poly_type&) <span class="keyword">const</span>;
<a name="l00155"></a>00155 indirect_iterator leadIteratorEnd() <span class="keyword">const</span>;
<a name="l00156"></a>00156 indirect_exp_iterator leadExpIteratorBegin(<span class="keyword">const</span> poly_type&) <span class="keyword">const</span>;
<a name="l00157"></a>00157 indirect_exp_iterator leadExpIteratorEnd() <span class="keyword">const</span>;
<a name="l00158"></a>00158
<a name="l00159"></a>00159 };
<a name="l00160"></a>00160
<a name="l00161"></a>00161
<a name="l00162"></a>00162 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00163"></a>00163
<a name="l00164"></a>00164 <span class="preprocessor">#endif // LexOrder_h_</span>
</pre></div></div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:30:58 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
>
115
