libpolybori-dev 0.5~rc1-2.1build2 / usr / include / polybori / BooleEnv.h

This file is indexed.

/usr/include/polybori/BooleEnv.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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
// -*- c++ -*-
//*****************************************************************************
/** @file BooleEnv.h 
 *
 * @author Alexander Dreyer
 * @date 2006-03-06
 *
 * This file the class BooleEnv, where handles global (static) strucutres of
 * PolyBoRi. 
 *
 * @par Copyright:
 *   (c) 2007 by The PolyBoRi Team
 *
 * @internal 
 * @version \$Id: BooleEnv.h,v 1.6 2008/07/08 21:41:58 alexanderdreyer Exp $
 *
 * @par History:
 * @verbatim
 * $Log: BooleEnv.h,v $
 * Revision 1.6  2008/07/08 21:41:58  alexanderdreyer
 * Merge: from developer's repository
 *
 * Revision 1.2  2008/04/29 09:02:10  bricken
 * + active_ring moved to BooleEnv.cc
 *
 * Revision 1.1  2007/12/13 15:53:48  dreyer
 * CHANGE: Ordering in BoolePolyRing again; BooleEnv manages active ring
 *
 * @endverbatim
**/
//*****************************************************************************

// load PolyBoRi settings
# include "pbori_defs.h"
#include <vector>

#ifndef BooleEnv_h_
#define BooleEnv_h_


BEGIN_NAMESPACE_PBORI


class BoolePolyRing;
extern BoolePolyRing active_ring;
class CDynamicOrderBase;

/** @class BooleEnv
 * @brief This class is just a wrapper accessing global structures.
 *
 *
 **/


class BooleEnv: 
  public CTypes::orderenums_type, public CTypes::compenums_type, 
  public CTypes::auxtypes_type {

 public:
  //-------------------------------------------------------------------------
  // types definitions
  //-------------------------------------------------------------------------

  /// generic access to current type
  typedef BooleEnv self;

  /// generic access to base type
  typedef CTypes::orderenums_type base;

  /// @name adopt global type definitions
  //@{
  typedef CTypes::ordercode_type ordercode_type;
  typedef CTypes::manager_type manager_type;
  typedef CTypes::manager_reference manager_reference;
  typedef CTypes::manager_ptr manager_ptr;
  typedef CTypes::dd_type dd_type;
  typedef CTypes::vartext_type vartext_type;
  //@}

  /// Type for block indices
  typedef std::vector<idx_type> block_idx_type;

  /// Type for block iterators
  typedef block_idx_type::const_iterator block_iterator;

  //-------------------------------------------------------------------------
  // constructors and destructor
  //-------------------------------------------------------------------------

  /// Explicitely mention ordercodes' enumeration
  using base::ordercodes;

  /// Access idx-th variable of the active ring
  static dd_type variable(idx_type idx);

  /// Access idx-th variable
  static dd_type persistentVariable(idx_type idx);

  /// Get numerical code for current ordering
  static ordercode_type getOrderCode();

  /// Get numerical code for current base ordering 
  /// (the same for non-block orderings)
  static ordercode_type getBaseOrderCode();

  /// Get empty decision diagram
  static dd_type zero();

  /// Get decision diagram with all variables negated
  static dd_type one();

  /// Get number of ring variables the of active ring
  static size_type nVariables();

  typedef BoolePolyRing ring_type;

  typedef CDynamicOrderBase order_type;
  static ring_type& ring(){
      return active_ring;
  }

  static manager_type& manager();
  static order_type& ordering();
  /// Set name of variable with index idx
  static void setVariableName(idx_type idx, vartext_type varname);

  /// Get name of variable with index idx
  static vartext_type getVariableName(idx_type idx);

  /// @name interface for block orderings
  //@{
  static block_iterator blockBegin();
  static block_iterator blockEnd();
  static void appendBlock(idx_type idx);
  static void clearBlocks();
  
  static idx_type lastBlockStart();
  //@}

  /// Change order of current ring
  static void changeOrdering(ordercode_type code);

  static void printInfo();

  static void set(ring_type& theRing);


protected:

  
};

///please use BooleEnv::ring()

END_NAMESPACE_PBORI

#endif // of #ifndef BooleEnv_h_

APT Browse - Built by Thomas Orozco.