C-Breeze 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 (    )    Definition at line 199 of file unification.cc. References _set, Unify_Object::alpha, Unify_Pending::cjoin, cleaned, Unify_Pending::join_ECR, UnifyType::object, OBJECT, UnifyType::objTyp(), Pendings_p, Unify_ECR::root(), Alpha::tao(), and Unify_ECR::type(). Referenced by insert(), and UnificationBasedPtr::join(). void Unify_Pendings::clear (    )  [inline]   Definition at line 65 of file unification.h. bool Unify_Pendings::empty (    )  const [inline]   Definition at line 63 of file unification.h. Referenced by Unify_ECR::print(). void Unify_Pendings::insert (  Unify_Pending *    p, bool    is_new )    Definition at line 18 of file unification.cc. References _set, Unify_Object::alpha, Unify_Pending::arg1(), Unify_Pending::arg2(), Unify_Pending::arg3(), Unify_Pending::cjoin, cleaned, cleanup(), Unify_Pending::collapse, Unify_Size::is_top(), Unify_Pending::join_ECR, Unify_Pending::join_Lambda, Unify_Pending::makeunknown, UnifyType::object, OBJECT, UnifyType::objTyp(), Unify_Offset::pending(), Lambda::pending(), Unify_ECR::pending(), Pendings_p, Unify_ECR::root(), set(), Unify_Size::size(), Alpha::tao(), Unify_Pending::typ(), Unify_ECR::type(), and Unify_Offset::value(). Referenced by UnificationBasedPtr::cjoin(), UnificationBasedPtr::join(), and UnificationBasedPtr::unless_zero(). set<Unify_Pending*> Unify_Pendings::set (    )  const [inline]   Definition at line 66 of file unification.h. Referenced by UnificationBasedPtr::cjoin(), UnificationBasedPtr::ecrDeref(), UnificationBasedPtr::ensure_struct_obj(), insert(), UnificationBasedPtr::join(), UnificationBasedPtr::make_unknown(), Unify_ECR::print(), and UnificationBasedPtr::settype(). int Unify_Pendings::size (  void    )  const [inline]   Definition at line 64 of file unification.h. Referenced by Unify_ECR::print(). Member Data Documentation set<Unify_Pending*> Unify_Pendings::_set [private]   Definition at line 59 of file unification.h. Referenced by cleanup(), and insert(). bool Unify_Pendings::cleaned [private]   Definition at line 60 of file unification.h. Referenced by cleanup(), and insert(). The documentation for this class was generated from the following files: unification.h unification.cc

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