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_Pendings Class Reference

#include <unification.h>

List of all members.

Public Member Functions

 Unify_Pendings ()
bool empty () const
int size () const
void clear ()
set< Unify_Pending * > set () const
void insert (Unify_Pending *p, bool is_new)
void cleanup ()

Private Attributes

set< Unify_Pending * > _set
bool cleaned

Constructor & Destructor Documentation

Unify_Pendings::Unify_Pendings (   )  [inline]
 

Definition at line 62 of file unification.h.

Member Function Documentation

void Unify_Pendings::cleanup (   ) 
 

void Unify_Pendings::clear (   )  [inline]
 

Definition at line 65 of file unification.h.

References _set.

bool Unify_Pendings::empty (   )  const [inline]
 

Definition at line 63 of file unification.h.

References _set.

void Unify_Pendings::insert (  Unify_Pending *  p,
bool  is_new
) 
 

set<Unify_Pending*> Unify_Pendings::set (   )  const [inline]
 

Definition at line 66 of file unification.h.

References _set.

int Unify_Pendings::size (  void   )  const [inline]
 

Definition at line 64 of file unification.h.

References _set.

Member Data Documentation

set<Unify_Pending*> Unify_Pendings::_set [private]
 

Definition at line 59 of file unification.h.

Referenced by clear(), empty(), set(), and size().

bool Unify_Pendings::cleaned [private]
 

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