BooleEnv.h

Go to the documentation of this file.

// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************

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

#ifndef BooleEnv_h_
#define BooleEnv_h_


BEGIN_NAMESPACE_PBORI


class BoolePolyRing;

class CDynamicOrderBase;

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

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

  typedef BooleEnv self;

  typedef CTypes::orderenums_type base;


  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;

  typedef std::vector<idx_type> block_idx_type;

  typedef block_idx_type::const_iterator block_iterator;

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

  using base::ordercodes;

  static dd_type variable(idx_type idx);

  static dd_type persistentVariable(idx_type idx);

  static ordercode_type getOrderCode();

  static ordercode_type getBaseOrderCode();

  static dd_type zero();

  static dd_type one();

  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();
  static void setVariableName(idx_type idx, vartext_type varname);

  static vartext_type getVariableName(idx_type idx);


  static block_iterator blockBegin();
  static block_iterator blockEnd();
  static void appendBlock(idx_type idx);
  static void clearBlocks();
  
  static idx_type lastBlockStart();

  static void changeOrdering(ordercode_type code);

  static void printInfo();

  static void set(ring_type& theRing);


protected:

  static ring_type active_ring;
};

END_NAMESPACE_PBORI

#endif // of #ifndef BooleEnv_h_

---