wali::relations::Component Struct Reference

Private structure. More...

List of all members.

Public Member Functions
bool	operator== (Component rhs) const
bool	operator!= (Component rhs) const
Public Attributes
int	fdd_number

---

Detailed Description

Private structure.

---

Member Function Documentation

bool wali::relations::Component::operator==

(

Component

rhs

)

const

References fdd_number.

bool wali::relations::Component::operator!=

(

Component

rhs

)

const

References fdd_number.

---

Member Data Documentation

int wali::relations::Component::fdd_number

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

---

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

• Source/opennwa/RelationOpsBuddy.hpp