wali::relations::BinaryRelation Member List

This is the complete list of members for wali::relations::BinaryRelation, including all inherited members.

bdd	wali::relations::BinaryRelation
bddSize() const	wali::relations::BinaryRelation
BinaryRelation(unsigned int largest)	wali::relations::BinaryRelation
BinaryRelation()	wali::relations::BinaryRelation
BinaryRelation(unsigned int largest)	wali::relations::BinaryRelation
BinaryRelation()	wali::relations::BinaryRelation
check() const	wali::relations::BinaryRelation
compose(BinaryRelation &, BinaryRelation const &, BinaryRelation const &)	wali::relations::BinaryRelation	[friend]
domain	wali::relations::BinaryRelation
empty() const	wali::relations::BinaryRelation
empty() const	wali::relations::BinaryRelation
getBdd() const	wali::relations::BinaryRelation
getBdd() const	wali::relations::BinaryRelation
insert(unsigned int leftVal, unsigned int rightVal)	wali::relations::BinaryRelation
insert(std::pair< unsigned int, unsigned int > pair)	wali::relations::BinaryRelation
insert(unsigned int leftVal, unsigned int rightVal)	wali::relations::BinaryRelation
insert(std::pair< unsigned int, unsigned int > pair)	wali::relations::BinaryRelation
intersect(BinaryRelation &, BinaryRelation const &, BinaryRelation const &)	wali::relations::BinaryRelation	[friend]
merge(BinaryRelation &, BinaryRelation const &, BinaryRelation const &, BinaryRelation const &)	wali::relations::BinaryRelation	[friend]
myBdd	wali::relations::BinaryRelation
operator==(BinaryRelation const &other) const	wali::relations::BinaryRelation
operator==(BinaryRelation const &other) const	wali::relations::BinaryRelation
set	wali::relations::BinaryRelation
setSize() const	wali::relations::BinaryRelation
union_(BinaryRelation &, BinaryRelation const &, BinaryRelation const &)	wali::relations::BinaryRelation	[friend]