/usr/include/polybori/CCuddGetNode.h is in libpolybori-dev 0.5~rc1-2.1build2.
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 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 | // -*- c++ -*-
//*****************************************************************************
/** @file CCuddGetNode.h
*
* @author Alexander Dreyer
* @date 2006-08-08
*
* This file generates a new decision diagram node wrt. a given indes and two
* nodes.
*
* @note: For Cudd's ZDDs only.
*
* @par Copyright:
* (c) 2006 by The PolyBoRi Team
*
* @internal
* @version \$Id: CCuddGetNode.h,v 1.9 2008/07/08 21:41:58 alexanderdreyer Exp $
*
* @par History:
* @verbatim
* $Log: CCuddGetNode.h,v $
* Revision 1.9 2008/07/08 21:41:58 alexanderdreyer
* Merge: from developer's repository
*
* Revision 1.2 2007/11/06 15:03:33 dreyer
* CHANGE: More generic copyright
*
* Revision 1.1 2006/08/09 12:52:31 dreyer
* CHANGE/ADD: added lowlevel implementation of BooleSet::divisorsOf()
*
* @endverbatim
**/
//*****************************************************************************
#include <iterator>
// include basic definitions
#include "pbori_defs.h"
// get navigator type for cudd zdds
#include "CCuddNavigator.h"
#ifndef CCuddGetNode_h_
#define CCuddGetNode_h_
BEGIN_NAMESPACE_PBORI
template <class ManagerType>
class CDDManager;
/** @class CCuddGetNode
* @brief This class defines a functional, which generates a new decision *
* diagram node wrt. a given indes and two nodes.
*
**/
class CCuddGetNode {
public:
/// Cudd's node pointer
typedef CCuddNavigator node_type;
/// Cudd's node pointer
typedef Cudd manager_type;
/// Type for indices
typedef CTypes::idx_type idx_type;
/// Get type of *this
typedef CCuddGetNode self;
/// Default constructor and construct from node pointer
CCuddGetNode(const manager_type&);
/// Copy Constructor
CCuddGetNode(const self&);
/// Destructor
~CCuddGetNode();
/// The get node operation
node_type operator()(idx_type idx,
const node_type& thennode,
const node_type& elsenode) const;
/// Variant, which reuses oldnode, if possible
node_type operator()(idx_type idx, const node_type& oldnode,
const node_type& thennode,
const node_type& elsenode) const;
/// Increment reference count only
node_type operator()(const node_type& oldnode) const;
protected:
const manager_type& mgr;
};
END_NAMESPACE_PBORI
#endif
|