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

typedef CTypes::dd_type BooleVariable::dd_type

typedef CTypes::idx_type BooleVariable::idx_type

typedef BooleRing BooleVariable::ring_type

Type for Boolean polynomial rings (without ordering).

typedef BooleVariable BooleVariable::self

Generic access to current type.

typedef BooleSet BooleVariable::set_type

Type of sets of Boolean variables.

typedef CTypes::size_type BooleVariable::size_type

---

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]

Get index of the variable.

References BoolePolynomial::firstBegin().

Referenced by BooleExponent::divide(), BooleExponent::multiply(), BooleMonomial::operator*=(), BooleMonomial::operator/=(), and BooleExponent::reducibleBy().

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]

References BoolePolynomial::set().

---

The documentation for this class was generated from the following file:

• BooleVariable.h