C-Breeze
C Compiler Infrastructure

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

Alpha Class Reference

#include <unification.h>

List of all members.

Public Member Functions

 Alpha (Unify_ECR *t, Unify_Offset *o)
 Alpha ()
Unify_ECR * tao () const
Unify_Offset * offset () const
bool leq (Alpha *o, Unify_Size s) const
bool equal (Alpha *o)
void print () const

Private Attributes

Unify_ECR * _tao
Unify_Offset * _offset

Friends

ostream & operator<< (ostream &o, const Alpha &a)

Constructor & Destructor Documentation

Alpha::Alpha (  Unify_ECR *  t,
Unify_Offset *  o
)  [inline]
 

Definition at line 138 of file unification.h.

Alpha::Alpha (   ) 
 

Member Function Documentation

bool Alpha::equal (  Alpha *  o  )  [inline]
 

Definition at line 143 of file unification.h.

References _offset, _tao, offset(), tao(), Unify_ECR::type(), and Unify_Offset::value().

bool Alpha::leq (  Alpha *  o,
Unify_Size  s
)  const
 

Unify_Offset* Alpha::offset (   )  const [inline]
 

Definition at line 141 of file unification.h.

References _offset.

Referenced by equal().

void Alpha::print (   )  const
 

Unify_ECR* Alpha::tao (   )  const [inline]
 

Definition at line 140 of file unification.h.

References _tao.

Referenced by equal().

Friends And Related Function Documentation

ostream& operator<< (  ostream &  o,
const Alpha &  a
)  [friend]
 

Definition at line 146 of file unification.h.

Member Data Documentation

Unify_Offset* Alpha::_offset [private]
 

Definition at line 136 of file unification.h.

Referenced by equal(), and offset().

Unify_ECR* Alpha::_tao [private]
 

Definition at line 135 of file unification.h.

Referenced by equal(), and tao().

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

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