pbori_algo_int.h File Reference

#include <polybori/pbori_defs.h>
#include "pbori_func.h"
#include <polybori/iterators/CCuddNavigator.h>
#include <polybori/cudd/cudd.h>

Go to the source code of this file.

Namespaces
namespace	polybori
Classes
class	polybori::dd_operations< CCuddNavigator >
Functions
void	polybori::inc_ref (DdNode *node)
template<class NaviType>
void	polybori::inc_ref (const NaviType &navi)
void	polybori::dec_ref (DdNode *node)
template<class NaviType>
void	polybori::dec_ref (const NaviType &navi)
DdNode *	polybori::do_get_node (DdNode *node)
template<class NaviType>
DdNode *	polybori::do_get_node (const NaviType &navi)
template<class MgrType>
void	polybori::recursive_dec_ref (const MgrType &mgr, DdNode *node)
template<class MgrType, class NaviType>
void	polybori::recursive_dec_ref (const MgrType &mgr, const NaviType &navi)
template<class NaviType, class ReverseIterator, class DDOperations>
NaviType	polybori::indexed_term_multiples (NaviType navi, ReverseIterator idxStart, ReverseIterator idxFinish, const DDOperations &apply)
template<class NaviType>
bool	polybori::is_reducible_by (NaviType first, NaviType second)
template<class NaviType, class ReverseIterator, class DDOperations>
NaviType	polybori::minimal_of_two_terms (NaviType navi, NaviType &multiples, ReverseIterator idxStart, ReverseIterator idxFinish, const DDOperations &apply)
template<class NaviType, class SizeType, class ReverseIterator, class DDOperations>
NaviType	polybori::prepend_multiples_wrt_indices (NaviType navi, SizeType minIdx, ReverseIterator start, ReverseIterator finish, const DDOperations &apply)
template<class FunctionType, class ManagerType, class NodeType>
void	polybori::apply_assign_cudd_function (FunctionType func, ManagerType &mgr, NodeType &first, const NodeType &second)
template<class FunctionType, class ManagerType, class ResultType, class NodeType>
void	polybori::apply_replacing_cudd_function (FunctionType func, ManagerType &mgr, ResultType &newNode, const NodeType &first, const NodeType &second)
template<class FunctionType, class ManagerType, class NodeType>
NodeType	polybori::apply_cudd_function (FunctionType func, ManagerType &mgr, const NodeType &first, const NodeType &second)
template<class NaviType, class DDType2, class ReverseIterator, class DDOperations>
NaviType	polybori::dd_minimal_elements (NaviType navi, DDType2 &multiples, ReverseIterator idxStart, ReverseIterator idxEnd, const DDOperations &apply)

---

Detailed Description

Author:

Alexander Dreyer

Date:

2006-04-07

This file includes some templates of simple transformations and similar procedures.

Copyright:

(c) 2006 by The PolyBoRi Team