/usr/include/polybori/CCuddLastIter.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 103 104 | // -*- c++ -*-
//*****************************************************************************
/** @file CCuddLastIter.h
*
* @author Alexander Dreyer
* @date 2006-03-26
*
* This file defines an stl-like iterator for accessing the nonzero indices of
* the leading (last) minimal term of Cudd decision diagrams.
*
* @note: Tested for Cudd's ZDDs only.
*
* @par Copyright:
* (c) 2006 by The PolyBoRi Team
*
* @internal
* @version \$Id: CCuddLastIter.h,v 1.9 2008/07/08 21:41:58 alexanderdreyer Exp $
*
* @par History:
* @verbatim
* $Log: CCuddLastIter.h,v $
* Revision 1.9 2008/07/08 21:41:58 alexanderdreyer
* Merge: from developer's repository
*
* Revision 1.4 2007/11/06 16:36:07 dreyer
* Fix: used correct constructor
*
* Revision 1.3 2007/11/06 15:03:33 dreyer
* CHANGE: More generic copyright
*
* Revision 1.2 2006/12/13 18:07:04 dreyer
* ADD: poly /= exp
*
* Revision 1.1 2006/06/07 08:37:50 dreyer
* ADD CCuddLastIter and BooleSet::lastLexicographicalTerm()
*
* Revision 1.4 2006/04/06 13:05:54 dreyer
* CHANGE more suitable names for CCuddNavigator functions
*
* Revision 1.3 2006/04/04 15:31:06 dreyer
* ADD: BoolePolynomial::navigator() and corresp. class CCuddNavigator
*
* Revision 1.2 2006/03/30 08:59:42 dreyer
* FIX: CCuddLastIter works for empty and zero polynomials now
*
* Revision 1.1 2006/03/29 16:26:46 dreyer
* ADD: Class CCuddLastIter used for BoolePolynomial::lead()
*
* @endverbatim
**/
//*****************************************************************************
// include basic definitions
#include "CCuddNavigator.h"
#ifndef CCuddLastIter_h_
#define CCuddLastIter_h_
BEGIN_NAMESPACE_PBORI
/** @class CCuddLastIter
* @brief This class defines an iterator over the last minimal term of a given
* ZDD node.
*
**/
class CCuddLastIter :
public CCuddNavigator {
public:
/// Interface type for standard iterator access
typedef std::forward_iterator_tag iterator_category;
/// Get type of *this
typedef CCuddLastIter self;
/// Get base type
typedef CCuddNavigator base;
/// Default constructor and construct from node pointer
CCuddLastIter(): base() {}
CCuddLastIter(pointer_type ptr);
/// Copy Constructor
CCuddLastIter(const self&);
/// Destructor
~CCuddLastIter();
/// Prefix increment operator
self& operator++();
/// Postfix increment operator
self operator++(int);
protected:
/// Constant nodes are marked as the end of a path
void terminateConstant();
};
END_NAMESPACE_PBORI
#endif
|