/usr/include/polybori/routines/pbori_routines_cuddext.h is in libbrial-dev 0.8.5-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 | // -*- c++ -*-
//*****************************************************************************
/** @file pbori_routines_cuddext.h
*
* @author Alexander Dreyer
* @date 2006-08-23
*
* This file includes files, which define function templates related to
* decision diagrams. It should be loaded from pbori_routines.h only
*
* @par Copyright:
* (c) 2006-2010 by The PolyBoRi Team
*
**/
//*****************************************************************************
#ifndef polybori_routines_pbori_routines_cuddext_h_
#define polybori_routines_pbori_routines_cuddext_h_
// include basic definitions
#include <polybori/pbori_defs.h>
#include <map>
BEGIN_NAMESPACE_PBORI
/// Other routines currently at external public header file pbori_algo.h
/// Function template
template<class MapType, class NaviType>
inline typename MapType::mapped_type
dd_long_count_step(MapType& cache, NaviType navi) {
if(navi.isConstant())
return navi.terminalValue();
{
typename MapType::iterator iter = cache.find(navi);
if (iter != cache.end())
return iter->second;
}
return cache[navi] =
dd_long_count_step(cache, navi.thenBranch()) +
dd_long_count_step(cache, navi.elseBranch());
}
/// Function template for generically computing number of terms
template <class IntType, class NaviType>
inline IntType
dd_long_count(NaviType navi) {
std::map<NaviType, IntType> local_cache;
return dd_long_count_step(local_cache, navi);
}
template <class IntType, class NaviType>
inline IntType
dd_long_count_without_cache(NaviType navi) {
if(navi.isConstant())
return navi.terminalValue();
return dd_long_count<IntType, NaviType>(navi.thenBranch()) +
dd_long_count<IntType, NaviType>(navi.elseBranch());
}
END_NAMESPACE_PBORI
#endif
|