/usr/include/polybori/diagram/CNodeCounter.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 | // -*- c++ -*-
//*****************************************************************************
/** @file CNodeCounter.h
*
* @author Alexander Dreyer
* @date 2011-04-29
*
* This file defines the class CNodeCounter which can be used to determine the
* number of nodes in a decision diagrm (represented by a navigator).
*
* @par Copyright:
* (c) 2011 by The PolyBoRi Team
*
**/
//*****************************************************************************
#ifndef polybori_diagram_CNodeCounter_h_
#define polybori_diagram_CNodeCounter_h_
// include basic definitions
#include <polybori/pbori_defs.h>
BEGIN_NAMESPACE_PBORI
/** @class CNodeCounter
* @brief This class defines CNodeCounter.
*
**/
template<class NaviType>
class CNodeCounter {
typedef CNodeCounter self;
public:
typedef NaviType navigator;
typedef typename NaviType::size_type size_type;
CNodeCounter(): m_visited() {}
CNodeCounter(const self& rhs): m_visited(rhs.m_visited) {}
~CNodeCounter() {}
size_type operator()(navigator navi) {
if (navi.isConstant() || m_visited.count(navi))
return 0;
m_visited.insert(navi);
return (1 + operator()(navi.thenBranch()) + operator()(navi.elseBranch()));
}
private:
std::set<navigator> m_visited;
};
END_NAMESPACE_PBORI
#endif /* polybori_diagram_CNodeCounter_h_ */
|