<!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::CDynamicOrder< OrderType > Class Template 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_1CDynamicOrder.html">CDynamicOrder</a>
</div>
</div>
<div class="contents">
<h1>polybori::CDynamicOrder< OrderType > Class Template Reference</h1><!-- doxytag: class="polybori::CDynamicOrder" --><!-- doxytag: inherits="polybori::CDynamicOrderBase" -->This class initialize the interface for orderings of <a class="el" href="classpolybori_1_1CDynamicOrderBase.html" title="This class initialize the interface for runtime-switchable orderings.">CDynamicOrderBase</a>.
<a href="#_details">More...</a>
<p>
<code>#include <<a class="el" href="OrderedManager_8h_source.html">OrderedManager.h</a>></code>
<p>
<div class="dynheader">
Inheritance diagram for polybori::CDynamicOrder< OrderType >:</div>
<div class="dynsection">
<p><center><img src="classpolybori_1_1CDynamicOrder.png" usemap="#polybori::CDynamicOrder< OrderType >_map" border="0" alt=""></center>
<map name="polybori::CDynamicOrder< OrderType >_map">
<area href="classpolybori_1_1CDynamicOrderBase.html" alt="polybori::CDynamicOrderBase" shape="rect" coords="0,0,242,24">
</map>
</div>
<p>
<a href="classpolybori_1_1CDynamicOrder-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">typedef OrderType </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Variable ordering definiton functional type. <a href="#311789a381c2b4661bda5ee3e6a87db9"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html">CDynamicOrderBase</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#b616108ea10ad8136cacd203e3e2fa93">base</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Variable manager interface (base type). <a href="#b616108ea10ad8136cacd203e3e2fa93"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDynamicOrder.html">CDynamicOrder</a>< <a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#28b76f06922132910038f8fcb63cc396">self</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type of *this. <a href="#28b76f06922132910038f8fcb63cc396"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1COrderProperties.html">COrderProperties</a><br class="typebreak">
< <a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#66b4b670d961f6f4ef2a9813598dea4b">properties_type</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type defining order related properties. <a href="#66b4b670d961f6f4ef2a9813598dea4b"></a><br></td></tr>
<tr><td colspan="2"><div class="groupHeader">adopt global type definitions</div></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#ee21b7f27e4b2aabcc57b145f6745a83">base::bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#4706a3fc1dbfa449ba69bdc6594c1b22">base::size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#ae1dc820f23916a8d069e775cedb9546">size_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#40978ce63a921babf303cb79205d34b2">base::idx_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">idx_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#a9aef40fd3e069955d5efdcac6a2bc33">base::comp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#865c79e6dad889e547d1eb288259a124">comp_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BooleMonomial.html">base::monom_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#1222c0dd377bb6491f84ffa5fe892bc2">monom_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BoolePolynomial.html">base::poly_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#7926419203f0c5eddceedaae953cb7c5">poly_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1BooleExponent.html">base::exp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#f421eeb1ff7d1b929292a753b5ef3a3b">exp_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1COrderedIter.html">base::ordered_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#a73388337bc37dbe3a557ac6af5f0616">ordered_iterator</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1COrderedIter.html">base::ordered_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#b156b1bc53fefec2b95b902ff0f8ad07">ordered_exp_iterator</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#cd53116539384ece14e06d7fe8cff7da">base::ordercode_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#f805e40b4670a25676846bfc13639745">ordercode_type</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#10cc054a874e16648e273d55e4b2f363">base::block_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#452a1f8969c80f40659adde5c58681e1">block_iterator</a></td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Type for block iterators. <a href="#452a1f8969c80f40659adde5c58681e1"></a><br></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_1CDynamicOrder.html#0fe698d4cfefbf270f23e24b2f9718d6">CDynamicOrder</a> (const <a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a> &theOrder=<a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a>())</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Construct new decision diagramm manager. <a href="#0fe698d4cfefbf270f23e24b2f9718d6"></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_1CDynamicOrder.html#1f9f38201cd45c8ad9fd43278fc08470">CDynamicOrder</a> (const <a class="el" href="classpolybori_1_1CDynamicOrderBase.html">self</a> &rhs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Construct new decision diagramm manager. <a href="#1f9f38201cd45c8ad9fd43278fc08470"></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_1CDynamicOrder.html#d92ff18bc930f789b255ef57ddbb61ed">~CDynamicOrder</a> ()</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#865c79e6dad889e547d1eb288259a124">comp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#7dbd7063419850d08e2651b6a0dec2da">compare</a> (<a class="el" href="classpolybori_1_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">idx_type</a> lhs, <a class="el" href="classpolybori_1_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">idx_type</a> rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Comparison of indices. <a href="#7dbd7063419850d08e2651b6a0dec2da"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#865c79e6dad889e547d1eb288259a124">comp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#d4992fc133820a4dced23b43e463fa62">compare</a> (const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &lhs, const <a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Comparison of monomials. <a href="#d4992fc133820a4dced23b43e463fa62"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#865c79e6dad889e547d1eb288259a124">comp_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#b750f09d05b158b7f49dc332a697b7f5">compare</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> &lhs, const <a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> &rhs) const </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_1CDynamicOrder.html#61f9ac246c16538f91e2a1674b1ddd15">lead</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading term. <a href="#61f9ac246c16538f91e2a1674b1ddd15"></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_1CDynamicOrder.html#e027b007d68294a982d91e7ef667b125">lead</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &rhs, <a class="el" href="classpolybori_1_1CDynamicOrder.html#ae1dc820f23916a8d069e775cedb9546">size_type</a> bound) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading term (using upper bound). <a href="#e027b007d68294a982d91e7ef667b125"></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_1CDynamicOrder.html#0594026ca82723b20dd3767a1bfc6d14">leadExp</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &rhs) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading exponent. <a href="#0594026ca82723b20dd3767a1bfc6d14"></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_1CDynamicOrder.html#1575593b543d9791aebcff74917a4e7b">leadExp</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &rhs, <a class="el" href="classpolybori_1_1CDynamicOrder.html#ae1dc820f23916a8d069e775cedb9546">size_type</a> bound) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get leading exponent (using upper bound). <a href="#1575593b543d9791aebcff74917a4e7b"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#a67f4aa3d9aba7c02e302e50304b66dc">leadFirst</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &poly) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Generates polynomial with leading term first (other terms may be skipped). <a href="#a67f4aa3d9aba7c02e302e50304b66dc"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#e2fb1791bd23c790223db2ccfcf9cab4">isLexicographical</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Check whether ring is lexicographical. <a href="#e2fb1791bd23c790223db2ccfcf9cab4"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#858b714d2bc64780ef904a765bb740d0">orderedStandardIteration</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test whether iterators respect order. <a href="#858b714d2bc64780ef904a765bb740d0"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#82846722e7902619c72fd46f14584148">isSymmetric</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test whether variable pertubation do not <a class="el" href="classchange.html" title="Accessing .change().">change</a> the order. <a href="#82846722e7902619c72fd46f14584148"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#5585e73afcaea18f1eb625b7595f99e4">isDegreeOrder</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test whether we deal with a degree-ordering. <a href="#5585e73afcaea18f1eb625b7595f99e4"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#ae35d45a7dbb568d43bc821ee92233c8">isBlockOrder</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test whether we deal with a degree-ordering. <a href="#ae35d45a7dbb568d43bc821ee92233c8"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#c9d6e5ea8aa45c47e0a3bb59aa35d3b3">isTotalDegreeOrder</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test whether we deal with a total degree-ordering. <a href="#c9d6e5ea8aa45c47e0a3bb59aa35d3b3"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#ff40b67000d7d5ff63fb04bd861935e9">isDegreeReverseLexicograpical</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test whether ordering is deg-rev-lex ordering. <a href="#ff40b67000d7d5ff63fb04bd861935e9"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#269ed3032772617c3720ce2d7fe92e79">ascendingVariables</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test whether variables are in ascending order. <a href="#269ed3032772617c3720ce2d7fe92e79"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#5e54e40ab49fecccf9fe0d95df950bc9">descendingVariables</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Test whether variables are in descending order. <a href="#5e54e40ab49fecccf9fe0d95df950bc9"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#dee71fcec996cf841de26e90e5af99ad">leadIteratorBegin</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &poly) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Initialize iterator corresponding to leading term. <a href="#dee71fcec996cf841de26e90e5af99ad"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#095ae4f2ea64b459cf9ab9fc7e877a35">leadIteratorEnd</a> () const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bf6abbaa482ea38b73787dcc0bc195d7">leadExpIteratorBegin</a> (const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> &poly) const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Initialize iterator corresponding to leading term. <a href="#bf6abbaa482ea38b73787dcc0bc195d7"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_exp_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#36f82cf048a0299ab357e6d4fba92dcf">leadExpIteratorEnd</a> () const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#f805e40b4670a25676846bfc13639745">ordercode_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#a1cae47668bf22b3e8a9e818b5d5f29e">getOrderCode</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get numerical code for ordering. <a href="#a1cae47668bf22b3e8a9e818b5d5f29e"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#f805e40b4670a25676846bfc13639745">ordercode_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#7bb69e04652314d849d15d857d584585">getBaseOrderCode</a> () const </td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Get numerical code for base ordering (the same for non-block orderings). <a href="#7bb69e04652314d849d15d857d584585"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#0c14ed9ba067dd5c1f1e8a2dc7525b4f">lieInSameBlock</a> (<a class="el" href="classpolybori_1_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">idx_type</a> first, <a class="el" href="classpolybori_1_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">idx_type</a> second) const </td></tr>
<tr><td colspan="2"><div class="groupHeader">interface for block orderings</div></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#452a1f8969c80f40659adde5c58681e1">block_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#6ed95decfd4cfc61a6fd538cf18d4ff4">blockBegin</a> () const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#452a1f8969c80f40659adde5c58681e1">block_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#a772dec0caf40479b2a5f9f16d91bed1">blockEnd</a> () const </td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#7d8e95746f59e5cfa27afed949602e43">appendBlock</a> (<a class="el" href="classpolybori_1_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">idx_type</a> idx)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#5fa2a59f3bc732a4d2dd9a1fdeef472b">clearBlocks</a> ()</td></tr>
<tr><td colspan="2"><br><h2>Protected Attributes</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html#5b1d6cb308db6f6b8b8a61bc02e135bc">ordering</a></td></tr>
</table>
<hr><a name="_details"></a><h2>Detailed Description</h2>
<h3>template<class OrderType><br>
class polybori::CDynamicOrder< OrderType ></h3>
This class initialize the interface for orderings of <a class="el" href="classpolybori_1_1CDynamicOrderBase.html" title="This class initialize the interface for runtime-switchable orderings.">CDynamicOrderBase</a>. <hr><h2>Member Typedef Documentation</h2>
<a class="anchor" name="b616108ea10ad8136cacd203e3e2fa93"></a><!-- doxytag: member="polybori::CDynamicOrder::base" ref="b616108ea10ad8136cacd203e3e2fa93" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html">CDynamicOrderBase</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrderBase.html">base</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Variable manager interface (base type).
<p>
</div>
</div><p>
<a class="anchor" name="452a1f8969c80f40659adde5c58681e1"></a><!-- doxytag: member="polybori::CDynamicOrder::block_iterator" ref="452a1f8969c80f40659adde5c58681e1" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#10cc054a874e16648e273d55e4b2f363">base::block_iterator</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrder.html#452a1f8969c80f40659adde5c58681e1">block_iterator</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type for block iterators.
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#10cc054a874e16648e273d55e4b2f363">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="bcdcfa2643ae3e81eb5a100d4ae8bffd"></a><!-- doxytag: member="polybori::CDynamicOrder::bool_type" ref="bcdcfa2643ae3e81eb5a100d4ae8bffd" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#ee21b7f27e4b2aabcc57b145f6745a83">base::bool_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#ee21b7f27e4b2aabcc57b145f6745a83">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="865c79e6dad889e547d1eb288259a124"></a><!-- doxytag: member="polybori::CDynamicOrder::comp_type" ref="865c79e6dad889e547d1eb288259a124" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#a9aef40fd3e069955d5efdcac6a2bc33">base::comp_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrder.html#865c79e6dad889e547d1eb288259a124">comp_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#a9aef40fd3e069955d5efdcac6a2bc33">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="f421eeb1ff7d1b929292a753b5ef3a3b"></a><!-- doxytag: member="polybori::CDynamicOrder::exp_type" ref="f421eeb1ff7d1b929292a753b5ef3a3b" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1BooleExponent.html">base::exp_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#0acb8063d9534b394b659cb1061981c7">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="0effa574e1b8f52aaf6fa84316b07a14"></a><!-- doxytag: member="polybori::CDynamicOrder::idx_type" ref="0effa574e1b8f52aaf6fa84316b07a14" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#40978ce63a921babf303cb79205d34b2">base::idx_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">idx_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#40978ce63a921babf303cb79205d34b2">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="1222c0dd377bb6491f84ffa5fe892bc2"></a><!-- doxytag: member="polybori::CDynamicOrder::monom_type" ref="1222c0dd377bb6491f84ffa5fe892bc2" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1BooleMonomial.html">base::monom_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#0ac049e9d83ab588381fdc29a01ca413">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="311789a381c2b4661bda5ee3e6a87db9"></a><!-- doxytag: member="polybori::CDynamicOrder::order_type" ref="311789a381c2b4661bda5ee3e6a87db9" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef OrderType <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Variable ordering definiton functional type.
<p>
</div>
</div><p>
<a class="anchor" name="f805e40b4670a25676846bfc13639745"></a><!-- doxytag: member="polybori::CDynamicOrder::ordercode_type" ref="f805e40b4670a25676846bfc13639745" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#cd53116539384ece14e06d7fe8cff7da">base::ordercode_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrder.html#f805e40b4670a25676846bfc13639745">ordercode_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#cd53116539384ece14e06d7fe8cff7da">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="b156b1bc53fefec2b95b902ff0f8ad07"></a><!-- doxytag: member="polybori::CDynamicOrder::ordered_exp_iterator" ref="b156b1bc53fefec2b95b902ff0f8ad07" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1COrderedIter.html">base::ordered_exp_iterator</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1COrderedIter.html">ordered_exp_iterator</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#82003e3f684e7a2bad249d28513b8251">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="a73388337bc37dbe3a557ac6af5f0616"></a><!-- doxytag: member="polybori::CDynamicOrder::ordered_iterator" ref="a73388337bc37dbe3a557ac6af5f0616" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1COrderedIter.html">base::ordered_iterator</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1COrderedIter.html">ordered_iterator</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#7313336c647ec488b2faaef5b2dc0e34">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="7926419203f0c5eddceedaae953cb7c5"></a><!-- doxytag: member="polybori::CDynamicOrder::poly_type" ref="7926419203f0c5eddceedaae953cb7c5" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1BoolePolynomial.html">base::poly_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#3b0ba4cf7e47c27e11229716cd47a61a">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="66b4b670d961f6f4ef2a9813598dea4b"></a><!-- doxytag: member="polybori::CDynamicOrder::properties_type" ref="66b4b670d961f6f4ef2a9813598dea4b" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1COrderProperties.html">COrderProperties</a><<a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a>> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1COrderProperties.html">properties_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type defining order related properties.
<p>
</div>
</div><p>
<a class="anchor" name="28b76f06922132910038f8fcb63cc396"></a><!-- doxytag: member="polybori::CDynamicOrder::self" ref="28b76f06922132910038f8fcb63cc396" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDynamicOrder.html">CDynamicOrder</a><<a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a>> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrderBase.html">self</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Type of *this.
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#ad0e907283a38b607e2644e3b4b89e23">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="ae1dc820f23916a8d069e775cedb9546"></a><!-- doxytag: member="polybori::CDynamicOrder::size_type" ref="ae1dc820f23916a8d069e775cedb9546" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#4706a3fc1dbfa449ba69bdc6594c1b22">base::size_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrder.html#ae1dc820f23916a8d069e775cedb9546">size_type</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Reimplemented from <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#4706a3fc1dbfa449ba69bdc6594c1b22">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<hr><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" name="0fe698d4cfefbf270f23e24b2f9718d6"></a><!-- doxytag: member="polybori::CDynamicOrder::CDynamicOrder" ref="0fe698d4cfefbf270f23e24b2f9718d6" args="(const order_type &theOrder=order_type())" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrder.html">CDynamicOrder</a> </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a> & </td>
<td class="paramname"> <em>theOrder</em> = <code><a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a>()</code> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Construct new decision diagramm manager.
<p>
</div>
</div><p>
<a class="anchor" name="1f9f38201cd45c8ad9fd43278fc08470"></a><!-- doxytag: member="polybori::CDynamicOrder::CDynamicOrder" ref="1f9f38201cd45c8ad9fd43278fc08470" args="(const self &rhs)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrder.html">CDynamicOrder</a> </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1CDynamicOrderBase.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>
Construct new decision diagramm manager.
<p>
</div>
</div><p>
<a class="anchor" name="d92ff18bc930f789b255ef57ddbb61ed"></a><!-- doxytag: member="polybori::CDynamicOrder::~CDynamicOrder" ref="d92ff18bc930f789b255ef57ddbb61ed" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::~<a class="el" href="classpolybori_1_1CDynamicOrder.html">CDynamicOrder</a> </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<hr><h2>Member Function Documentation</h2>
<a class="anchor" name="7d8e95746f59e5cfa27afed949602e43"></a><!-- doxytag: member="polybori::CDynamicOrder::appendBlock" ref="7d8e95746f59e5cfa27afed949602e43" args="(idx_type idx)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">void <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::appendBlock </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">idx_type</a> </td>
<td class="paramname"> <em>idx</em> </td>
<td> ) </td>
<td><code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#37fe350af51395d55e6bffbc7eb79ce9">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="269ed3032772617c3720ce2d7fe92e79"></a><!-- doxytag: member="polybori::CDynamicOrder::ascendingVariables" ref="269ed3032772617c3720ce2d7fe92e79" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::ascendingVariables </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test whether variables are in ascending order.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#75673c2d4530d960e0928b2e4cd8ce06">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="6ed95decfd4cfc61a6fd538cf18d4ff4"></a><!-- doxytag: member="polybori::CDynamicOrder::blockBegin" ref="6ed95decfd4cfc61a6fd538cf18d4ff4" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#452a1f8969c80f40659adde5c58681e1">block_iterator</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::blockBegin </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#4de0fc4f61e3ba9135ca16433ba65298">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="a772dec0caf40479b2a5f9f16d91bed1"></a><!-- doxytag: member="polybori::CDynamicOrder::blockEnd" ref="a772dec0caf40479b2a5f9f16d91bed1" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#452a1f8969c80f40659adde5c58681e1">block_iterator</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::blockEnd </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#6f424f6000ec91ee8d8157e8ca8d8770">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="5fa2a59f3bc732a4d2dd9a1fdeef472b"></a><!-- doxytag: member="polybori::CDynamicOrder::clearBlocks" ref="5fa2a59f3bc732a4d2dd9a1fdeef472b" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname">void <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::clearBlocks </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#cdb4913663bbd9d8b279567e9f8f936a">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="b750f09d05b158b7f49dc332a697b7f5"></a><!-- doxytag: member="polybori::CDynamicOrder::compare" ref="b750f09d05b158b7f49dc332a697b7f5" args="(const exp_type &lhs, const exp_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#865c79e6dad889e547d1eb288259a124">comp_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::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> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#ce226c8f4f3cc7e8455b8fbcb73470ef">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="d4992fc133820a4dced23b43e463fa62"></a><!-- doxytag: member="polybori::CDynamicOrder::compare" ref="d4992fc133820a4dced23b43e463fa62" args="(const monom_type &lhs, const monom_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#865c79e6dad889e547d1eb288259a124">comp_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::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> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Comparison of monomials.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#10f9309872b2356a6b61a23af2ba82a8">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="7dbd7063419850d08e2651b6a0dec2da"></a><!-- doxytag: member="polybori::CDynamicOrder::compare" ref="7dbd7063419850d08e2651b6a0dec2da" args="(idx_type lhs, idx_type rhs) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#865c79e6dad889e547d1eb288259a124">comp_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::compare </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">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_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">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> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Comparison of indices.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#94459acf225780d113e6fb498316b940">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="5e54e40ab49fecccf9fe0d95df950bc9"></a><!-- doxytag: member="polybori::CDynamicOrder::descendingVariables" ref="5e54e40ab49fecccf9fe0d95df950bc9" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::descendingVariables </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test whether variables are in descending order.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#3e0d971af6adbef70e9e349d87a06592">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="7bb69e04652314d849d15d857d584585"></a><!-- doxytag: member="polybori::CDynamicOrder::getBaseOrderCode" ref="7bb69e04652314d849d15d857d584585" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#f805e40b4670a25676846bfc13639745">ordercode_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::getBaseOrderCode </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get numerical code for base ordering (the same for non-block orderings).
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#17287e54872112443d8d5633fad63be1">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="a1cae47668bf22b3e8a9e818b5d5f29e"></a><!-- doxytag: member="polybori::CDynamicOrder::getOrderCode" ref="a1cae47668bf22b3e8a9e818b5d5f29e" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#f805e40b4670a25676846bfc13639745">ordercode_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::getOrderCode </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get numerical code for ordering.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#5e5fe2c35b1c909c92622f1cb180a401">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="ae35d45a7dbb568d43bc821ee92233c8"></a><!-- doxytag: member="polybori::CDynamicOrder::isBlockOrder" ref="ae35d45a7dbb568d43bc821ee92233c8" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::isBlockOrder </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test whether we deal with a degree-ordering.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#6159d6b923843f03fd62372bdbd647ba">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="5585e73afcaea18f1eb625b7595f99e4"></a><!-- doxytag: member="polybori::CDynamicOrder::isDegreeOrder" ref="5585e73afcaea18f1eb625b7595f99e4" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::isDegreeOrder </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test whether we deal with a degree-ordering.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#798db50062e8be8809a9b2a804276874">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="ff40b67000d7d5ff63fb04bd861935e9"></a><!-- doxytag: member="polybori::CDynamicOrder::isDegreeReverseLexicograpical" ref="ff40b67000d7d5ff63fb04bd861935e9" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::isDegreeReverseLexicograpical </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test whether ordering is deg-rev-lex ordering.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#79bfdaf76ff0c71869d9b6a597328540">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="e2fb1791bd23c790223db2ccfcf9cab4"></a><!-- doxytag: member="polybori::CDynamicOrder::isLexicographical" ref="e2fb1791bd23c790223db2ccfcf9cab4" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::isLexicographical </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Check whether ring is lexicographical.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#3f00d98e8dfcdb2635604c902b8c6a35">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="82846722e7902619c72fd46f14584148"></a><!-- doxytag: member="polybori::CDynamicOrder::isSymmetric" ref="82846722e7902619c72fd46f14584148" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::isSymmetric </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test whether variable pertubation do not <a class="el" href="classchange.html" title="Accessing .change().">change</a> the order.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#4072767166459121123d5ed67079500e">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="c9d6e5ea8aa45c47e0a3bb59aa35d3b3"></a><!-- doxytag: member="polybori::CDynamicOrder::isTotalDegreeOrder" ref="c9d6e5ea8aa45c47e0a3bb59aa35d3b3" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::isTotalDegreeOrder </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test whether we deal with a total degree-ordering.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#bf11a4355a8940a6f5c94639355c2228">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="e027b007d68294a982d91e7ef667b125"></a><!-- doxytag: member="polybori::CDynamicOrder::lead" ref="e027b007d68294a982d91e7ef667b125" args="(const poly_type &rhs, size_type bound) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::lead </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> & </td>
<td class="paramname"> <em>rhs</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDynamicOrder.html#ae1dc820f23916a8d069e775cedb9546">size_type</a> </td>
<td class="paramname"> <em>bound</em></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_1CDynamicOrderBase.html#fd1d0b672e8313203556e59e0508e564">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="61f9ac246c16538f91e2a1674b1ddd15"></a><!-- doxytag: member="polybori::CDynamicOrder::lead" ref="61f9ac246c16538f91e2a1674b1ddd15" args="(const poly_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleMonomial.html">monom_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::lead </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get leading term.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#9023356f11636ef7d67dcd5a5e8557e2">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="1575593b543d9791aebcff74917a4e7b"></a><!-- doxytag: member="polybori::CDynamicOrder::leadExp" ref="1575593b543d9791aebcff74917a4e7b" args="(const poly_type &rhs, size_type bound) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::leadExp </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> & </td>
<td class="paramname"> <em>rhs</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDynamicOrder.html#ae1dc820f23916a8d069e775cedb9546">size_type</a> </td>
<td class="paramname"> <em>bound</em></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_1CDynamicOrderBase.html#b4e5dcde76f4f6f0cf0b1da048d2cd46">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="0594026ca82723b20dd3767a1bfc6d14"></a><!-- doxytag: member="polybori::CDynamicOrder::leadExp" ref="0594026ca82723b20dd3767a1bfc6d14" args="(const poly_type &rhs) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BooleExponent.html">exp_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::leadExp </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> & </td>
<td class="paramname"> <em>rhs</em> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Get leading exponent.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#6cf0f9af04346ec6b7758c9dc0564e1a">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="bf6abbaa482ea38b73787dcc0bc195d7"></a><!-- doxytag: member="polybori::CDynamicOrder::leadExpIteratorBegin" ref="bf6abbaa482ea38b73787dcc0bc195d7" args="(const poly_type &poly) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_exp_iterator</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::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> [inline, 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_1CDynamicOrderBase.html#203cd4815faf21d0eb1de15ecf9a9f66">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="36f82cf048a0299ab357e6d4fba92dcf"></a><!-- doxytag: member="polybori::CDynamicOrder::leadExpIteratorEnd" ref="36f82cf048a0299ab357e6d4fba92dcf" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_exp_iterator</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::leadExpIteratorEnd </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#ce824359c44c7c31c376c3f560551616">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="a67f4aa3d9aba7c02e302e50304b66dc"></a><!-- doxytag: member="polybori::CDynamicOrder::leadFirst" ref="a67f4aa3d9aba7c02e302e50304b66dc" args="(const poly_type &poly) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1BoolePolynomial.html">poly_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::leadFirst </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> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Generates polynomial with leading term first (other terms may be skipped).
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#e972f00b05db3e36aa79754338f17c63">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="dee71fcec996cf841de26e90e5af99ad"></a><!-- doxytag: member="polybori::CDynamicOrder::leadIteratorBegin" ref="dee71fcec996cf841de26e90e5af99ad" args="(const poly_type &poly) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_iterator</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::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> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Initialize iterator corresponding to leading term.
<p>
Initialize iterator corresponding to leading term
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#24923c28513d0eeb619921565420e944">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="095ae4f2ea64b459cf9ab9fc7e877a35"></a><!-- doxytag: member="polybori::CDynamicOrder::leadIteratorEnd" ref="095ae4f2ea64b459cf9ab9fc7e877a35" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1COrderedIter.html">ordered_iterator</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::leadIteratorEnd </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#bfefa5c64f16fc10ef702c88904f7895">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<a class="anchor" name="0c14ed9ba067dd5c1f1e8a2dc7525b4f"></a><!-- doxytag: member="polybori::CDynamicOrder::lieInSameBlock" ref="0c14ed9ba067dd5c1f1e8a2dc7525b4f" args="(idx_type first, idx_type second) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::lieInSameBlock </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">idx_type</a> </td>
<td class="paramname"> <em>first</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classpolybori_1_1CDynamicOrder.html#0effa574e1b8f52aaf6fa84316b07a14">idx_type</a> </td>
<td class="paramname"> <em>second</em></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>
Check, whether two indices are in the same block (true for nonblock orderings)
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#7e3c54173a0943dd5835c7c6f2365af7">polybori::CDynamicOrderBase</a>.</p>
<p>References <a class="el" href="OrderedManager_8h_source.html#l00146">polybori::lie_in_same_block()</a>.</p>
</div>
</div><p>
<a class="anchor" name="858b714d2bc64780ef904a765bb740d0"></a><!-- doxytag: member="polybori::CDynamicOrder::orderedStandardIteration" ref="858b714d2bc64780ef904a765bb740d0" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#bcdcfa2643ae3e81eb5a100d4ae8bffd">bool_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::orderedStandardIteration </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
Test whether iterators respect order.
<p>
<p>Implements <a class="el" href="classpolybori_1_1CDynamicOrderBase.html#0493b3e6eb0746bcdb0a1b45fbfa5791">polybori::CDynamicOrderBase</a>.</p>
</div>
</div><p>
<hr><h2>Member Data Documentation</h2>
<a class="anchor" name="5b1d6cb308db6f6b8b8a61bc02e135bc"></a><!-- doxytag: member="polybori::CDynamicOrder::ordering" ref="5b1d6cb308db6f6b8b8a61bc02e135bc" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class OrderType > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classpolybori_1_1CDynamicOrder.html#311789a381c2b4661bda5ee3e6a87db9">order_type</a> <a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder</a>< OrderType >::<a class="el" href="classpolybori_1_1CDynamicOrder.html#5b1d6cb308db6f6b8b8a61bc02e135bc">ordering</a><code> [protected]</code> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
</div>
</div><p>
<hr>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="OrderedManager_8h_source.html">OrderedManager.h</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
>
281
