C-Breeze
C Compiler Infrastructure

[ Project home page]
Main Page   Modules   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Namespace Members   Compound Members   File Members   Related Pages  

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.

References parents().

Unify_Parents::Unify_Parents (  bool    top )  [inline]
 

Definition at line 212 of file unification.h.

References top().

Member Function Documentation

bool Unify_Parents::empty (    )  const [inline]
 

Definition at line 215 of file unification.h.

bool Unify_Parents::equal (  Unify_Parents    o )  [inline]
 

Definition at line 216 of file unification.h.

References is_top(), and parents().

Referenced by UnificationBasedPtr::unify().

bool Unify_Parents::is_top (    )  const [inline]
 

Definition at line 213 of file unification.h.

Referenced by equal().

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

Definition at line 218 of file unification.h.

Referenced by memoryBlock::containers(), UnificationBasedPtr::ensure_no_bottom(), equal(), and Unify_Parents().

string Unify_Parents::str (    )  const
 

Definition at line 457 of file unification.cc.

References _parents.

Referenced by UnifyType::print().

void Unify_Parents::top (  bool    t )  [inline]
 

Definition at line 214 of file unification.h.

Referenced by Unify_Parents().

Member Data Documentation

bool Unify_Parents::_is_top [private]
 

Definition at line 209 of file unification.h.

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

Definition at line 208 of file unification.h.

Referenced by str().

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

Generated on August 27, 2003
Back to the C-Breeze home page