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

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.

Unify_Pending::Unify_Pending (  Lambda *  l1,
Lambda *  l2
)  [inline]
 

Definition at line 346 of file unification.h.

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

Definition at line 348 of file unification.h.

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

Definition at line 350 of file unification.h.

Unify_Pending::Unify_Pending (  Unify_Size &  s,
Unify_ECR *  e1,
Unify_ECR *  e2
)  [inline]
 

Definition at line 352 of file unification.h.

Unify_Pending::~Unify_Pending (   )  [inline]
 

Definition at line 354 of file unification.h.

References _arg1, _typ, and cjoin.

Member Function Documentation

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

Definition at line 356 of file unification.h.

References _arg1.

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

Definition at line 357 of file unification.h.

References _arg2.

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

Definition at line 358 of file unification.h.

References _arg3.

bool Unify_Pending::is_served (   )  const [inline]
 

Definition at line 359 of file unification.h.

References _served.

void Unify_Pending::print (   )  const
 

void Unify_Pending::served (   )  [inline]
 

Definition at line 360 of file unification.h.

References _served.

Typ Unify_Pending::typ (   )  const [inline]
 

Definition at line 355 of file unification.h.

References _typ.

void Unify_Pending::un_served (   )  [inline]
 

Definition at line 361 of file unification.h.

References _served.

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 arg1(), and ~Unify_Pending().

void * Unify_Pending::_arg2 [private]
 

Definition at line 341 of file unification.h.

Referenced by arg2().

void * Unify_Pending::_arg3 [private]
 

Definition at line 341 of file unification.h.

Referenced by arg3().

bool Unify_Pending::_served [private]
 

Definition at line 342 of file unification.h.

Referenced by is_served(), served(), and un_served().

Typ Unify_Pending::_typ [private]
 

Definition at line 340 of file unification.h.

Referenced by typ(), and ~Unify_Pending().

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

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