#include "pbori_defs.h"
#include "pbori_func.h"
#include "CCuddNavigator.h"
Go to the source code of this file.
Classes | |
class | polybori::dd_operations< CTypes::dd_type::navigator > |
Namespaces | |
namespace | polybori |
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) |
This file includes some templates of simple transformations and similar procedures.