C-Breeze
C Compiler Infrastructure

[ Project home page]

Unify_Parents Class Reference

#include <unification.h>

List of all members.

Public Member Functions

 Unify_Parents (set< Unify_ECR * > parents)
 Unify_Parents (bool top)
bool is_top () const
void top (bool t)
bool empty () const
bool equal (Unify_Parents o)
set< Unify_ECR * > & parents ()
string str () const

Private Attributes

set< Unify_ECR * > _parents
bool _is_top


Constructor & Destructor Documentation

Unify_Parents::Unify_Parents set< Unify_ECR * >  parents  )  [inline]
 

Definition at line 211 of file unification.h.

Unify_Parents::Unify_Parents bool  top  )  [inline]
 

Definition at line 212 of file unification.h.


Member Function Documentation

bool Unify_Parents::empty  )  const [inline]
 

Definition at line 215 of file unification.h.

References _is_top, and _parents.

bool Unify_Parents::equal Unify_Parents  o  )  [inline]
 

Definition at line 216 of file unification.h.

References _is_top, _parents, is_top(), and parents().

bool Unify_Parents::is_top  )  const [inline]
 

Definition at line 213 of file unification.h.

References _is_top.

Referenced by equal().

set<Unify_ECR*>& Unify_Parents::parents  )  [inline]
 

Definition at line 218 of file unification.h.

References _parents.

Referenced by equal().

string Unify_Parents::str  )  const
 

void Unify_Parents::top bool  t  )  [inline]
 

Definition at line 214 of file unification.h.

References _is_top.


Member Data Documentation

bool Unify_Parents::_is_top [private]
 

Definition at line 209 of file unification.h.

Referenced by empty(), equal(), is_top(), and top().

set<Unify_ECR*> Unify_Parents::_parents [private]
 

Definition at line 208 of file unification.h.

Referenced by empty(), equal(), and parents().


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

Generated on February 1, 2006
Back to the C-Breeze home page