<!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: pbori_algo_int.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>pbori_algo_int.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="pbori__func_8h_source.html">pbori_func.h</a>"</code><br> <code>#include "<a class="el" href="CCuddNavigator_8h_source.html">CCuddNavigator.h</a>"</code><br> <p> <a href="pbori__algo__int_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_1dd__operations_3_01CTypes_1_1dd__type_1_1navigator_01_4.html">polybori::dd_operations< CTypes::dd_type::navigator ></a></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="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#4d98e6d55edb29688b0d24fae3a349b9">polybori::inc_ref</a> (DdNode *node)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class NaviType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#d9cf47005b6fd44ae7fb33b491fcf176">polybori::inc_ref</a> (const NaviType &navi)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#95f4ae2c996c9c5f3a7579b2b4c9b4df">polybori::dec_ref</a> (DdNode *node)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class NaviType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#db112a81d1c472d9dc767e336a6fccb9">polybori::dec_ref</a> (const NaviType &navi)</td></tr> <tr><td class="memItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#e65aa84dbe2bba343ca9c10a5b87e05e">polybori::do_get_node</a> (DdNode *node)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class NaviType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">DdNode * </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#5a939c4b24f55c0b39e010f07d94cbce">polybori::do_get_node</a> (const NaviType &navi)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class MgrType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#2cd2b80c1a060d8530bf5e38b81081c6">polybori::recursive_dec_ref</a> (const MgrType &mgr, DdNode *node)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class MgrType , class NaviType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#2fc573a9e125f0b0a850ea157c8c9ec8">polybori::recursive_dec_ref</a> (const MgrType &mgr, const NaviType &navi)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class NaviType , class ReverseIterator , class DDOperations > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">NaviType </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#85cef6454769d8c9ae1e235782e4b8be">polybori::indexed_term_multiples</a> (NaviType navi, ReverseIterator idxStart, ReverseIterator idxFinish, const DDOperations &apply)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class NaviType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#642441efa10dc73fe2ca9e6250b86fc8">polybori::is_reducible_by</a> (NaviType first, NaviType second)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class NaviType , class ReverseIterator , class DDOperations > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">NaviType </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#cbdb4b217bcd090cafbb697ff07ba44a">polybori::minimal_of_two_terms</a> (NaviType navi, NaviType &multiples, ReverseIterator idxStart, ReverseIterator idxFinish, const DDOperations &apply)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class NaviType , class SizeType , class ReverseIterator , class DDOperations > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">NaviType </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#ab0655446e6aaf46050e2d4e143588d6">polybori::prepend_multiples_wrt_indices</a> (NaviType navi, SizeType minIdx, ReverseIterator start, ReverseIterator finish, const DDOperations &apply)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class FunctionType , class ManagerType , class NodeType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#3ae33491fa91b97ee75b4b7eab8f3f8f">polybori::apply_assign_cudd_function</a> (FunctionType func, ManagerType &mgr, NodeType &first, const NodeType &second)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class FunctionType , class ManagerType , class ResultType , class NodeType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#fc0c31909c2746cc0cff6d463f6cf4ef">polybori::apply_replacing_cudd_function</a> (FunctionType func, ManagerType &mgr, ResultType &newNode, const NodeType &first, const NodeType &second)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class FunctionType , class ManagerType , class NodeType > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">NodeType </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#65583cfb652f6bb456fd4df488d0c1b4">polybori::apply_cudd_function</a> (FunctionType func, ManagerType &mgr, const NodeType &first, const NodeType &second)</td></tr> <tr><td class="memTemplParams" nowrap colspan="2">template<class NaviType , class DDType2 , class ReverseIterator , class DDOperations > </td></tr> <tr><td class="memTemplItemLeft" nowrap align="right" valign="top">NaviType </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacepolybori.html#2b040ac0677e9b8a9c4a070cec208cb6">polybori::dd_minimal_elements</a> (NaviType navi, DDType2 &multiples, ReverseIterator idxStart, ReverseIterator idxEnd, const DDOperations &apply)</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-04-07</dd></dl> This file includes some templates of simple transformations and similar procedures.<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:31:00 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>