BooleVariable Class Reference

This class is just a wrapper for using variables from cudd's decicion diagram. More...

#include <BooleVariable.h>

List of all members.

Public Types

typedef BooleVariable self
 Generic access to current type.
typedef BooleSet set_type
 Type of sets of Boolean variables.
typedef BooleRing ring_type
 Type for Boolean polynomial rings (without ordering).
Adopt global type definitions

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

Public Member Functions

 BooleVariable (idx_type idx=0)
 Constructor idx-th variable of active ring.
 BooleVariable (idx_type idx, const ring_type &ring)
 Constructor idx-th variable of a given ring.
 BooleVariable (const self &rhs)
 Copy constructor.
 operator const BoolePolynomial & () const
 Cast to polynomial type.
idx_type index () const
 Get index of the variable.
bool operator== (const self &other) const
 Equality check.
bool operator!= (const self &other) const
set_type set () const
ring_type ring () const
 Access ring, where this belongs to.

Detailed Description

This class is just a wrapper for using variables from cudd's decicion diagram.

Note:
BooleVariable is actually a specialization of BoolePolynomial with a special constructor.

Member Typedef Documentation

Type for Boolean polynomial rings (without ordering).

Generic access to current type.

Type of sets of Boolean variables.


Constructor & Destructor Documentation

BooleVariable::BooleVariable ( idx_type  idx = 0  )  [inline, explicit]

Constructor idx-th variable of active ring.

BooleVariable::BooleVariable ( idx_type  idx,
const ring_type ring 
) [inline]

Constructor idx-th variable of a given ring.

BooleVariable::BooleVariable ( const self rhs  )  [inline]

Copy constructor.


Member Function Documentation

idx_type BooleVariable::index (  )  const [inline]
BooleVariable::operator const BoolePolynomial & (  )  const [inline]

Cast to polynomial type.

bool BooleVariable::operator!= ( const self other  )  const [inline]
bool BooleVariable::operator== ( const self other  )  const [inline]

Equality check.

ring_type BooleVariable::ring (  )  const [inline]

Access ring, where this belongs to.

References BoolePolynomial::ring().

Referenced by operator/().

set_type BooleVariable::set (  )  const [inline]

The documentation for this class was generated from the following file:
Generated on Tue May 4 10:44:29 2010 for PolyBoRi by  doxygen 1.6.3