<!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: OrderedManager.h File 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><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> </div> <div class="contents"> <h1>OrderedManager.h File Reference</h1><code>#include "<a class="el" href="pbori__defs_8h_source.html">pbori_defs.h</a>"</code><br> <code>#include "<a class="el" href="CDDManager_8h_source.html">CDDManager.h</a>"</code><br> <code>#include "<a class="el" href="BoolePolynomial_8h_source.html">BoolePolynomial.h</a>"</code><br> <code>#include "<a class="el" href="BooleMonomial_8h_source.html">BooleMonomial.h</a>"</code><br> <code>#include "<a class="el" href="BooleExponent_8h_source.html">BooleExponent.h</a>"</code><br> <code>#include "<a class="el" href="COrderProperties_8h_source.html">COrderProperties.h</a>"</code><br> <code>#include "<a class="el" href="CVariableNames_8h_source.html">CVariableNames.h</a>"</code><br> <code>#include "<a class="el" href="CGenericIter_8h_source.html">CGenericIter.h</a>"</code><br> <code>#include <vector></code><br> <code>#include "<a class="el" href="COrderedIter_8h_source.html">COrderedIter.h</a>"</code><br> <p> <a href="OrderedManager_8h_source.html">Go to the source code of this file.</a><table border="0" cellpadding="0" cellspacing="0"> <tr><td></td></tr> <tr><td colspan="2"><br><h2>Classes</h2></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrderBase.html">polybori::CDynamicOrderBase</a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">This class initialize the interface for runtime-switchable orderings. <a href="classpolybori_1_1CDynamicOrderBase.html#_details">More...</a><br></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">class </td><td class="memItemRight" valign="bottom"><a class="el" href="classpolybori_1_1CDynamicOrder.html">polybori::CDynamicOrder< OrderType ></a></td></tr> <tr><td class="mdescLeft"> </td><td class="mdescRight">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="classpolybori_1_1CDynamicOrder.html#_details">More...</a><br></td></tr> <tr><td colspan="2"><br><h2>Namespaces</h2></td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">namespace </td><td class="memItemRight" valign="bottom"><a class="el" href="namespacepolybori.html">polybori</a></td></tr> <tr><td colspan="2"><br><h2>Functions</h2></td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class IdxType , class OrderType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#8446aa36768d268d95331632d1c0d890">polybori::lie_in_same_block</a> (IdxType, IdxType, const OrderType &, invalid_tag)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class IdxType , class OrderType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#d5c922d015d1cc0efbe48d9158446548">polybori::lie_in_same_block</a> (IdxType first, IdxType second, const OrderType &order, valid_tag)</td></tr> </table> <hr><h2>Detailed Description</h2> <dl class="author" compact><dt><b>Author:</b></dt><dd>Alexander Dreyer </dd></dl> <dl class="date" compact><dt><b>Date:</b></dt><dd>2006-05-23</dd></dl> Adds ordering management to decision diagram variables managers.<p> <dl class="user" compact><dt><b>Copyright:</b></dt><dd>(c) 2006 by The PolyBoRi Team </dd></dl> </div> <hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:30:59 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>