C-Breeze
C Compiler Infrastructure

[ Project home page]

Lambda Class Reference

#include <unification.h>

List of all members.

Public Member Functions

Lambda ()

int id () const

bool is_bottom () const

int n () const

int m () const

bool ellipsis () const

Unify_ECR * tao (int i) const

void tao (int i, Unify_ECR *t)

Unify_ECR * taoR () const

void taoR (Unify_ECR *r)

Unify_Pendings & pending ()

void settype (int n, int m, Unify_ECR **t, Unify_ECR *r, bool ellipse)

void addArg (int plus_n)

bool leq (Lambda *o) const

bool equal (Lambda *o) const

void print () const

Static Public Member Functions

static Lambda * bottom ()

Private Attributes

int _n

int _m

bool _ellipsis

Unify_ECR ** _taos

Unify_ECR * _taoR

bool _is_bottom

int _id

Unify_Pendings _pending

Static Private Attributes

static int id_count

Friends

ostream & operator<< (ostream &o, const Lambda &l)

Constructor & Destructor Documentation

Lambda::Lambda ( ) [inline]

Definition at line 167 of file unification.h.

void Lambda::addArg ( int plus_n )

static Lambda* Lambda::bottom ( ) [static]

bool Lambda::ellipsis ( ) const [inline]

Definition at line 173 of file unification.h.
References _ellipsis.

bool Lambda::equal ( Lambda * o ) const

Referenced by leq().

int Lambda::id ( ) const [inline]

Definition at line 169 of file unification.h.
References _id.

bool Lambda::is_bottom ( ) const [inline]

Definition at line 170 of file unification.h.
References _is_bottom.
Referenced by leq().

bool Lambda::leq ( Lambda * o ) const [inline]

Definition at line 181 of file unification.h.
References equal(), and is_bottom().

int Lambda::m ( ) const [inline]

Definition at line 172 of file unification.h.
References _m.

int Lambda::n ( ) const [inline]

Definition at line 171 of file unification.h.
References _n.

Unify_Pendings& Lambda::pending ( ) [inline]

Definition at line 178 of file unification.h.
References _pending.

void Lambda::print ( ) const

void Lambda::settype ( int n,

int m,

Unify_ECR ** t,

Unify_ECR * r,

bool ellipse

)

void Lambda::tao ( int i,

Unify_ECR * t

) [inline]

Definition at line 175 of file unification.h.
References _n, and _taos.

Unify_ECR* Lambda::tao ( int i ) const [inline]

Definition at line 174 of file unification.h.
References _n, and _taos.

void Lambda::taoR ( Unify_ECR * r ) [inline]

Definition at line 177 of file unification.h.
References _m, and _taoR.

Unify_ECR* Lambda::taoR ( ) const [inline]

Definition at line 176 of file unification.h.
References _m, and _taoR.

ostream& operator<< ( ostream & o,

const Lambda & l

) [friend]

Definition at line 184 of file unification.h.

bool Lambda::_ellipsis [private]

Definition at line 158 of file unification.h.
Referenced by ellipsis().

int Lambda::_id [private]

Definition at line 161 of file unification.h.
Referenced by id().

bool Lambda::_is_bottom [private]

Definition at line 160 of file unification.h.
Referenced by is_bottom().

int Lambda::_m [private]

Definition at line 157 of file unification.h.
Referenced by m(), and taoR().

int Lambda::_n [private]

Definition at line 157 of file unification.h.
Referenced by n(), and tao().

Unify_Pendings Lambda::_pending [private]

Definition at line 162 of file unification.h.
Referenced by pending().

Unify_ECR * Lambda::_taoR [private]

Definition at line 159 of file unification.h.
Referenced by taoR().

Unify_ECR** Lambda::_taos [private]

Definition at line 159 of file unification.h.
Referenced by tao().

int Lambda::id_count [static, private]

Definition at line 163 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