<!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::groebner::ChainCriterion 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="namespacepolybori_1_1groebner.html">groebner</a>::<a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html">ChainCriterion</a> </div> </div> <div class="contents"> <h1>polybori::groebner::ChainCriterion Class Reference</h1><!-- doxytag: class="polybori::groebner::ChainCriterion" -->assumes that divisibility condition is fullfilled <a href="#_details">More...</a> <p> <p> <a href="classpolybori_1_1groebner_1_1ChainCriterion-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 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_1groebner_1_1ChainCriterion.html#a7dfa7f32420cf1e3fa30644b1300692">ChainCriterion</a> (const <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a> &<a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html#9cf3e33da0390995b0096c2706c13b11">strat</a>, const int &<a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html#9479579f2f088041fbde3a2b7a9571df">i</a>, const int &<a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html#30420f43fa6321b5860115004d327bc3">j</a>)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html#62e5093c0cb77e2a923a1ae56a1415ea">operator()</a> (const <a class="el" href="classpolybori_1_1BooleExponent.html">Exponent</a> &lmExp)</td></tr> <tr><td colspan="2"><br><h2>Public Attributes</h2></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">const <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html#9cf3e33da0390995b0096c2706c13b11">strat</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html#9479579f2f088041fbde3a2b7a9571df">i</a></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html#30420f43fa6321b5860115004d327bc3">j</a></td></tr> </table> <hr><a name="_details"></a><h2>Detailed Description</h2> assumes that divisibility condition is fullfilled <hr><h2>Constructor & Destructor Documentation</h2> <a class="anchor" name="a7dfa7f32420cf1e3fa30644b1300692"></a><!-- doxytag: member="polybori::groebner::ChainCriterion::ChainCriterion" ref="a7dfa7f32420cf1e3fa30644b1300692" args="(const GroebnerStrategy &strat, const int &i, const int &j)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">polybori::groebner::ChainCriterion::ChainCriterion </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a> & </td> <td class="paramname"> <em>strat</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const int & </td> <td class="paramname"> <em>i</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const int & </td> <td class="paramname"> <em>j</em></td><td> </td> </tr> <tr> <td></td> <td>)</td> <td></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="62e5093c0cb77e2a923a1ae56a1415ea"></a><!-- doxytag: member="polybori::groebner::ChainCriterion::operator()" ref="62e5093c0cb77e2a923a1ae56a1415ea" args="(const Exponent &lmExp)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">bool polybori::groebner::ChainCriterion::operator() </td> <td>(</td> <td class="paramtype">const <a class="el" href="classpolybori_1_1BooleExponent.html">Exponent</a> & </td> <td class="paramname"> <em>lmExp</em> </td> <td> ) </td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p> <p>References <a class="el" href="groebner__alg_8h_source.html#l00161">polybori::groebner::GroebnerStrategy::exp2Index</a>, <a class="el" href="groebner__alg_8h_source.html#l00042">polybori::groebner::PairStatusSet::hasTRep()</a>, <a class="el" href="groebner__alg_8cc_source.html#l00551">i</a>, <a class="el" href="groebner__alg_8cc_source.html#l00551">j</a>, <a class="el" href="groebner__alg_8h_source.html#l00128">polybori::groebner::GroebnerStrategy::pairs</a>, <a class="el" href="groebner__alg_8h_source.html#l00079">polybori::groebner::PairManager::status</a>, and <a class="el" href="groebner__alg_8cc_source.html#l00550">strat</a>.</p> </div> </div><p> <hr><h2>Member Data Documentation</h2> <a class="anchor" name="9479579f2f088041fbde3a2b7a9571df"></a><!-- doxytag: member="polybori::groebner::ChainCriterion::i" ref="9479579f2f088041fbde3a2b7a9571df" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">int <a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html#9479579f2f088041fbde3a2b7a9571df">polybori::groebner::ChainCriterion::i</a> </td> </tr> </table> </div> <div class="memdoc"> <p> <p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l00557">operator()()</a>.</p> </div> </div><p> <a class="anchor" name="30420f43fa6321b5860115004d327bc3"></a><!-- doxytag: member="polybori::groebner::ChainCriterion::j" ref="30420f43fa6321b5860115004d327bc3" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">int <a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html#30420f43fa6321b5860115004d327bc3">polybori::groebner::ChainCriterion::j</a> </td> </tr> </table> </div> <div class="memdoc"> <p> <p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l00557">operator()()</a>.</p> </div> </div><p> <a class="anchor" name="9cf3e33da0390995b0096c2706c13b11"></a><!-- doxytag: member="polybori::groebner::ChainCriterion::strat" ref="9cf3e33da0390995b0096c2706c13b11" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">const <a class="el" href="classpolybori_1_1groebner_1_1GroebnerStrategy.html">GroebnerStrategy</a>* <a class="el" href="classpolybori_1_1groebner_1_1ChainCriterion.html#9cf3e33da0390995b0096c2706c13b11">polybori::groebner::ChainCriterion::strat</a> </td> </tr> </table> </div> <div class="memdoc"> <p> <dl class="todo" compact><dt><b><a class="el" href="todo.html#_todo000018">Todo:</a></b></dt><dd>: connect via vars </dd></dl> <p>Referenced by <a class="el" href="groebner__alg_8cc_source.html#l00557">operator()()</a>.</p> </div> </div><p> <hr>The documentation for this class was generated from the following file:<ul> <li><a class="el" href="groebner__alg_8cc.html">groebner_alg.cc</a></ul> </div> <hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:31:04 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>