wali::relations::Domain Member List

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

BinaryRelation class	wali::relations::Domain	[friend]
Domain(unsigned int largest)	wali::relations::Domain
extra	wali::relations::Domain
largest() const	wali::relations::Domain
left	wali::relations::Domain
middle	wali::relations::Domain
operator!=(Domain const &rhs) const	wali::relations::Domain
operator==(Domain const &rhs) const	wali::relations::Domain
right	wali::relations::Domain
shift_in_compose() const	wali::relations::Domain
shift_in_merge() const	wali::relations::Domain
shift_out_compose() const	wali::relations::Domain
shift_out_merge() const	wali::relations::Domain
TernaryRelation class	wali::relations::Domain	[friend]