/usr/include/polybori/diagram/CDDOperations.h is in libbrial-dev 1.2.0-2.
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 | // -*- c++ -*-
//*****************************************************************************
/** @file CDDOperations.h
*
* @author Alexander Dreyer
* @date 2006-08-29
*
* This file implements an internal template class for geenric CDDOperations;
*
* @par Copyright:
* (c) 2006 by The PolyBoRi Team
**/
//*****************************************************************************
#ifndef polybori_diagram_CDDOperations_h_
#define polybori_diagram_CDDOperations_h_
// include basic definitions
#include <polybori/pbori_defs.h>
// Get Cudd definitions
#include <polybori/cudd/cudd.h>
#include <polybori/routines/pbori_routines.h>
#include <polybori/cache/CCacheManagement.h>
#include <polybori/BoolePolyRing.h>
BEGIN_NAMESPACE_PBORI
/// @class CDDOperation
/// @brief Generic class containing decision diagram operations
template <class DDType, class MonomType>
class CDDOperations {
public:
// This is only a work-around, since a monomial should not be generated from
// a dd.
MonomType getMonomial(const DDType& dd) const {
return MonomType(dd);
}
MonomType usedVariables(const DDType& dd){
CCacheManagement<BoolePolyRing, CCacheTypes::used_variables> cache_mgr((BoolePolyRing)dd.ring());
return cached_used_vars(cache_mgr, dd.navigation(),
MonomType(cache_mgr.one()));
}
};
END_NAMESPACE_PBORI
#endif
|