C-Breeze
C Compiler Infrastructure

[ Project home page]

Unify_ECR Class Reference

#include <unification.h>

List of all members.

Public Member Functions

 Unify_ECR (declNode *v, procNode *p)
 Unify_ECR (UnifyType *t)
declNodevar () const
void var (declNode *d)
procNodeproc () const
void proc (procNode *p)
Unify_ECRparent () const
void parent (Unify_ECR *p)
Unify_ECRroot ()
Unify_Pendingspending ()
int id () const
bool operator== (Unify_ECR &other)
Unify_ECRUnion (Unify_ECR *other)
decl_list all_decls () const
UnifyTypetype ()
void type (UnifyType *t)
void print ()

Static Public Member Functions

static set< Unify_ECR * > allECR ()

Protected Attributes

REF declNode_var
REF procNode_proc
REF Unify_ECR_parent
REF Unify_ECR_root
int _ndecestors
set< Unify_ECR * > _children
Unify_Pendings _pending
TREE int _id
TREE UnifyType_type

Static Protected Attributes

static int id_count
static set< Unify_ECR * > all_ECR

Friends

ostream & operator<< (ostream &o, Unify_ECR &ecr)


Constructor & Destructor Documentation

Unify_ECR::Unify_ECR declNode v,
procNode p
 

Unify_ECR::Unify_ECR UnifyType t  ) 
 


Member Function Documentation

decl_list Unify_ECR::all_decls  )  const
 

static set<Unify_ECR*> Unify_ECR::allECR  )  [inline, static]
 

Definition at line 109 of file unification.h.

References all_ECR.

int Unify_ECR::id  )  const [inline]
 

Definition at line 99 of file unification.h.

References _id.

bool Unify_ECR::operator== Unify_ECR other  )  [inline]
 

Definition at line 100 of file unification.h.

References root().

void Unify_ECR::parent Unify_ECR p  )  [inline]
 

Definition at line 96 of file unification.h.

References _parent, and _root.

Unify_ECR* Unify_ECR::parent  )  const [inline]
 

Definition at line 95 of file unification.h.

References _parent.

Unify_Pendings& Unify_ECR::pending  )  [inline]
 

Definition at line 98 of file unification.h.

References _pending.

void Unify_ECR::print  ) 
 

void Unify_ECR::proc procNode p  )  [inline]
 

Definition at line 94 of file unification.h.

References _proc.

procNode* Unify_ECR::proc  )  const [inline]
 

Definition at line 93 of file unification.h.

References _proc.

Unify_ECR* Unify_ECR::root  ) 
 

Referenced by UnifyType::ecr(), and operator==().

void Unify_ECR::type UnifyType t  ) 
 

UnifyType* Unify_ECR::type  ) 
 

Referenced by Alpha::equal().

Unify_ECR* Unify_ECR::Union Unify_ECR other  ) 
 

void Unify_ECR::var declNode d  )  [inline]
 

Definition at line 92 of file unification.h.

References _var.

declNode* Unify_ECR::var void   )  const [inline]
 

Definition at line 91 of file unification.h.

References _var.


Friends And Related Function Documentation

ostream& operator<< ostream &  o,
Unify_ECR ecr
[friend]
 

Definition at line 106 of file unification.h.


Member Data Documentation

set<Unify_ECR*> Unify_ECR::_children [protected]
 

Definition at line 79 of file unification.h.

TREE int Unify_ECR::_id [protected]
 

Definition at line 81 of file unification.h.

Referenced by id().

int Unify_ECR::_ndecestors [protected]
 

Definition at line 78 of file unification.h.

REF Unify_ECR* Unify_ECR::_parent [protected]
 

Definition at line 77 of file unification.h.

Referenced by parent().

Unify_Pendings Unify_ECR::_pending [protected]
 

Definition at line 80 of file unification.h.

Referenced by pending().

REF procNode* Unify_ECR::_proc [protected]
 

Definition at line 76 of file unification.h.

Referenced by proc().

REF Unify_ECR * Unify_ECR::_root [protected]
 

Definition at line 77 of file unification.h.

Referenced by parent().

TREE UnifyType* Unify_ECR::_type [protected]
 

Definition at line 82 of file unification.h.

REF declNode* Unify_ECR::_var [protected]
 

Definition at line 75 of file unification.h.

Referenced by var().

set<Unify_ECR*> Unify_ECR::all_ECR [static, protected]
 

Definition at line 85 of file unification.h.

Referenced by allECR().

int Unify_ECR::id_count [static, protected]
 

Definition at line 84 of file unification.h.


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

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