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

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

int id_count = 0

Friends

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

Constructor & Destructor Documentation

Lambda::Lambda ( ) [inline]

Definition at line 167 of file unification.h.
Referenced by bottom().

void Lambda::addArg ( int plus_n )

Definition at line 282 of file unification.cc.
References _ellipsis, _n, _taos, and T_bottom.
Referenced by UnificationBasedPtr::at_call(), and UnificationBasedPtr::join().

Lambda * Lambda::bottom ( ) [static]

Definition at line 270 of file unification.cc.
References Lambda().

bool Lambda::equal ( Lambda * o ) const

Definition at line 293 of file unification.cc.
References is_bottom(), m(), n(), tao(), taoR(), and Unify_ECR::type().
Referenced by leq(), and UnificationBasedPtr::unify().

int Lambda::id ( ) const [inline]

Definition at line 169 of file unification.h.
Referenced by print().

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.
Referenced by UnificationBasedPtr::at_call(), equal(), and UnificationBasedPtr::join().

int Lambda::n ( ) const [inline]

Definition at line 171 of file unification.h.
Referenced by UnificationBasedPtr::at_call(), equal(), UnificationBasedPtr::join(), and print().

void Lambda::print ( ) const

Definition at line 304 of file unification.cc.
References _n, UnifyType::id(), id(), is_bottom(), n(), tao(), taoR(), and Unify_ECR::type().

void Lambda::settype ( int n,

int m,

Unify_ECR ** t,

Unify_ECR * r,

bool ellipse

)

Definition at line 276 of file unification.cc.
References _ellipsis, _is_bottom, _m, _n, _taoR, and _taos.
Referenced by UnificationBasedPtr::settype().

void Lambda::tao ( int i,

Unify_ECR * t

) [inline]

Definition at line 175 of file unification.h.

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

Definition at line 177 of file unification.h.

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 addArg(), and settype().

int Lambda::_id [private]

Definition at line 161 of file unification.h.

bool Lambda::_is_bottom [private]

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

int Lambda::_m [private]

Definition at line 157 of file unification.h.
Referenced by settype().

int Lambda::_n [private]

Definition at line 157 of file unification.h.
Referenced by addArg(), print(), and settype().

Unify_Pendings Lambda::_pending [private]

Definition at line 162 of file unification.h.

Unify_ECR * Lambda::_taoR [private]

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

Unify_ECR** Lambda::_taos [private]

Definition at line 159 of file unification.h.
Referenced by addArg(), and settype().

int Lambda::id_count = 0 [static, private]

Definition at line 268 of file unification.cc.

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

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