17 #ifndef polybori_routines_pbori_routines_cuddext_h_
18 #define polybori_routines_pbori_routines_cuddext_h_
30 template<
class MapType,
class NaviType>
31 inline typename MapType::mapped_type
35 return navi.terminalValue();
38 typename MapType::iterator iter = cache.find(navi);
39 if (iter != cache.end())
49 template <
class IntType,
class NaviType>
53 std::map<NaviType, IntType> local_cache;
56 template <
class IntType,
class NaviType>
60 return navi.terminalValue();
62 return dd_long_count<IntType, NaviType>(navi.thenBranch()) +
63 dd_long_count<IntType, NaviType>(navi.elseBranch());
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
IntType dd_long_count_without_cache(NaviType navi)
Definition: pbori_routines_cuddext.h:58
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
IntType dd_long_count(NaviType navi)
Function template for generically computing number of terms.
Definition: pbori_routines_cuddext.h:51
MapType::mapped_type dd_long_count_step(MapType &cache, NaviType navi)
Other routines currently at external public header file pbori_algo.h.
Definition: pbori_routines_cuddext.h:32