C Compiler Infrastructure

[ Project home page]

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