wali::relations::Domain Class Reference

This class represents a particular domain (set) that a given relation is over. More...

List of all members.

Public Member Functions
	Domain (unsigned int largest)
bool	operator!= (Domain const &rhs) const
bool	operator== (Domain const &rhs) const
bddPair *	shift_out_compose () const
bddPair *	shift_in_compose () const
bddPair *	shift_out_merge () const
bddPair *	shift_in_merge () const
unsigned int	largest () const
Public Attributes
Component	left
Component	middle
Component	right
Component	extra
Friends
class	BinaryRelation
class	TernaryRelation

---

Detailed Description

This class represents a particular domain (set) that a given relation is over.

Relations on a domain A can only be composed, merged, etc. with other relations on the domain A.

---

Constructor & Destructor Documentation

wali::relations::Domain::Domain

(

unsigned int

largest

)

References extra, wali::relations::Component::fdd_number, wali::Quad< T, U, V, W >::first, wali::Quad< T, U, V, W >::fourth, wali::relations::getFddNumbers(), left, middle, right, wali::Quad< T, U, V, W >::second, and wali::Quad< T, U, V, W >::third.

---

Member Function Documentation

bool wali::relations::Domain::operator!=

(

Domain const &

rhs

)

const

bool wali::relations::Domain::operator==

(

Domain const &

rhs

)

const

References extra, left, middle, and right.

bddPair* wali::relations::Domain::shift_out_compose

(

)

const

bddPair* wali::relations::Domain::shift_in_compose

(

)

const

bddPair* wali::relations::Domain::shift_out_merge

(

)

const

bddPair* wali::relations::Domain::shift_in_merge

(

)

const

unsigned int wali::relations::Domain::largest

(

)

const

Referenced by wali::relations::TernaryRelation< Subject >::insert(), and wali::relations::BinaryRelation::insert().

---

Friends And Related Function Documentation

friend class BinaryRelation [friend]

friend class TernaryRelation [friend]

---

Member Data Documentation

Component wali::relations::Domain::left

Referenced by Domain(), wali::relations::TernaryRelation< Subject >::insert(), wali::relations::BinaryRelation::insert(), and operator==().

Component wali::relations::Domain::middle

Referenced by Domain(), wali::relations::TernaryRelation< Subject >::insert(), wali::relations::BinaryRelation::insert(), and operator==().

Component wali::relations::Domain::right

Referenced by Domain(), wali::relations::TernaryRelation< Subject >::insert(), and operator==().

Component wali::relations::Domain::extra

Referenced by Domain(), and operator==().

---

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

• Source/opennwa/RelationOpsBuddy.hpp