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());