Unify_Pending Class Reference

#include <unification.h>

List of all members.

Public Types

enum Typ {
makeunknown, join_ECR, join_Lambda, cjoin,
collapse
}

Public Member Functions

Unify_Pending (Unify_ECR *e1, Unify_ECR *e2)

Unify_Pending (Lambda *l1, Lambda *l2)

Unify_Pending (Unify_Offset *o)

Unify_Pending (Unify_ECR *e)

Unify_Pending (Unify_Size &s, Unify_ECR *e1, Unify_ECR *e2)

~Unify_Pending ()

Typ typ () const

void * arg1 () const

void * arg2 () const

void * arg3 () const

bool is_served () const

void served ()

void un_served ()

void print () const

Private Attributes

Typ _typ

void * _arg1

void * _arg2

void * _arg3

bool _served

Friends

ostream & operator<< (ostream &o, const Unify_Pending &p)

Member Enumeration Documentation

enum Unify_Pending::Typ

Enumeration values:

makeunknown

join_ECR

join_Lambda

cjoin

collapse

Definition at line 338 of file unification.h.

Constructor & Destructor Documentation

Unify_Pending::Unify_Pending ( Unify_ECR * e1,

Unify_ECR * e2

) [inline]

Definition at line 344 of file unification.h.
References join_ECR.

Unify_Pending::Unify_Pending ( Lambda * l1,

Lambda * l2

) [inline]

Definition at line 346 of file unification.h.
References join_Lambda.

Unify_Pending::Unify_Pending ( Unify_Offset * o ) [inline]

Definition at line 348 of file unification.h.
References makeunknown.

Unify_Pending::Unify_Pending ( Unify_ECR * e ) [inline]

Definition at line 350 of file unification.h.
References collapse.

Unify_Pending::Unify_Pending ( Unify_Size & s,

Unify_ECR * e1,

Unify_ECR * e2

) [inline]

Definition at line 352 of file unification.h.
References cjoin.

Unify_Pending::~Unify_Pending ( ) [inline]

Definition at line 354 of file unification.h.
References cjoin.

Member Function Documentation

void* Unify_Pending::arg1 ( ) const [inline]

Definition at line 356 of file unification.h.
Referenced by Unify_Pendings::insert().

void* Unify_Pending::arg2 ( ) const [inline]

Definition at line 357 of file unification.h.
Referenced by Unify_Pendings::insert().

void* Unify_Pending::arg3 ( ) const [inline]

Definition at line 358 of file unification.h.
Referenced by Unify_Pendings::insert().

bool Unify_Pending::is_served ( ) const [inline]

Definition at line 359 of file unification.h.

void Unify_Pending::print ( ) const

Definition at line 231 of file unification.cc.
References _arg1, _arg2, _arg3, cjoin, collapse, join_ECR, join_Lambda, and makeunknown.

void Unify_Pending::served ( ) [inline]

Definition at line 360 of file unification.h.

Typ Unify_Pending::typ ( ) const [inline]

Definition at line 355 of file unification.h.
Referenced by Unify_Pendings::insert().

void Unify_Pending::un_served ( ) [inline]

Definition at line 361 of file unification.h.

Friends And Related Function Documentation

ostream& operator<< ( ostream & o,

const Unify_Pending & p

) [friend]

Definition at line 363 of file unification.h.

Member Data Documentation

void* Unify_Pending::_arg1 [private]

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

void * Unify_Pending::_arg2 [private]

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

void * Unify_Pending::_arg3 [private]

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

bool Unify_Pending::_served [private]

Definition at line 342 of file unification.h.

Typ Unify_Pending::_typ [private]

Definition at line 340 of file unification.h.

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

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