BooleVariable.h

Go to the documentation of this file.

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

#ifndef BooleVariable_h_
#define BooleVariable_h_

// include basic definitions
#include "pbori_defs.h"

// get BoolePolynomial's definition
#include "BooleEnv.h"
#include "BoolePolynomial.h"

BEGIN_NAMESPACE_PBORI

class BooleVariable {

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


  typedef CTypes::dd_type dd_type;
  typedef CTypes::size_type size_type;
  typedef CTypes::idx_type idx_type;

  typedef BooleVariable self;
  
  typedef BooleSet set_type;

  typedef BooleRing ring_type;

  explicit BooleVariable(idx_type idx = 0):
    m_poly( BooleEnv::persistentVariable(idx) ) {}

  BooleVariable(idx_type idx, const ring_type& ring):
    m_poly( ring.persistentVariable(idx) ) {}

  
  BooleVariable(const self& rhs):  
    m_poly(rhs.m_poly) {}

  operator const BoolePolynomial&() const { return m_poly; }

  idx_type index() const { return *m_poly.firstBegin(); }

  bool operator== (const self& other) const{
      return m_poly==other.m_poly;
  }
  bool operator!= (const self& other) const{
        return m_poly!=other.m_poly;
  }
  set_type set() const { return m_poly.set(); }

  ring_type ring() const { return m_poly.ring(); } 

private:
  BoolePolynomial m_poly;
};



inline BoolePolynomial
operator/(const BooleVariable& lhs, const BooleVariable& rhs) {
  return BoolePolynomial(BooleConstant(lhs == rhs), lhs.ring());
}



END_NAMESPACE_PBORI

#endif // of BooleVariable_h_

---