polybori::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 polybori::BooleVariable::dd_type

typedef CTypes::idx_type polybori::BooleVariable::idx_type

typedef BooleRing polybori::BooleVariable::ring_type

Type for Boolean polynomial rings (without ordering)

typedef BooleVariable polybori::BooleVariable::self

Generic access to current type.

typedef BooleSet polybori::BooleVariable::set_type

Type of sets of Boolean variables.

typedef CTypes::size_type polybori::BooleVariable::size_type

---

Constructor & Destructor Documentation

polybori::BooleVariable::BooleVariable

(

idx_type

idx = 0

)

[inline, explicit]

Constructor idx-th variable of active ring.

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

Constructor idx-th variable of a given ring.

polybori::BooleVariable::BooleVariable

(

const self &

rhs

)

[inline]

Copy constructor.

---

Member Function Documentation

idx_type polybori::BooleVariable::index

(

)

const [inline]

Get index of the variable.

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

polybori::BooleVariable::operator const BoolePolynomial &

(

)

const [inline]

Cast to polynomial type.

bool polybori::BooleVariable::operator!=

(

const self &

other

)

const [inline]

bool polybori::BooleVariable::operator==

(

const self &

other

)

const [inline]

Equality check.

ring_type polybori::BooleVariable::ring

(

)

const [inline]

Access ring, where this belongs to.

Referenced by polybori::operator/().

set_type polybori::BooleVariable::set

(

)

const [inline]

---

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

• BooleVariable.h