polybori::BooleVariable Class Reference

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

#include <BooleVariable.h>

Inheritance diagram for polybori::BooleVariable:

List of all members.

Public Types
typedef BooleSet	set_type
	Type of sets of Boolean variables.
typedef BoolePolyRing	ring_type
	Type for Boolean polynomial rings (without ordering).
Public Member Functions
	BooleVariable (idx_type idx, const ring_type &ring)
	Constructor idx-th variable of active ring.
	BooleVariable (const ring_type &ring)
	Construct first 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
hash_type	stableHash () const
	Hash value of the variable.
hash_type	hash () const
	Get unique hash value (valid only per runtime).
set_type	set () const
	Convert to Boolean set.
const ring_type &	ring () const
	Access ring, where this belongs to.
Friends
class	BoolePolyRing

---

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 BooleSet polybori::BooleVariable::set_type

Type of sets of Boolean variables.

typedef BoolePolyRing polybori::BooleVariable::ring_type

Type for Boolean polynomial rings (without ordering).

---

Constructor & Destructor Documentation

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

Constructor idx-th variable of active ring.

explicit BooleVariable(idx_type idx = 0): m_poly( BooleEnv::ring().variable(idx) ) {} Construct idx-th variable of a given ring

polybori::BooleVariable::BooleVariable

(

const ring_type &

ring

)

[inline]

Construct first variable of a given ring.

polybori::BooleVariable::BooleVariable

(

const self &

rhs

)

[inline]

Copy constructor.

---

Member Function Documentation

polybori::BooleVariable::operator const BoolePolynomial &

(

)

const [inline]

Cast to polynomial type.

idx_type polybori::BooleVariable::index

(

)

const [inline]

Get index of the variable.

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

bool polybori::BooleVariable::operator==

(

const self &

other

)

const [inline]

Equality check.

bool polybori::BooleVariable::operator!=

(

const self &

other

)

const [inline]

hash_type polybori::BooleVariable::stableHash

(

)

const [inline]

Hash value of the variable.

hash_type polybori::BooleVariable::hash

(

)

const [inline]

Get unique hash value (valid only per runtime).

set_type polybori::BooleVariable::set

(

)

const [inline]

Convert to Boolean set.

const ring_type& polybori::BooleVariable::ring

(

)

const [inline]

Access ring, where this belongs to.

Referenced by polybori::operator/().

---

Friends And Related Function Documentation

friend class BoolePolyRing [friend]

---

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

• BooleVariable.h