C-Breeze C Compiler Infrastructure [ Project home page]

Alpha Class Reference #include <unification.h> List of all members. Public Member Functions   Alpha (Unify_ECR *t, Unify_Offset *o)   Alpha () Unify_ECR *  tao () const Unify_Offset *  offset () const bool  leq (Alpha *o, Unify_Size s) const bool  equal (Alpha *o) void  print () const Private Attributes Unify_ECR *  _tao Unify_Offset *  _offset Friends ostream &  operator<< (ostream &o, const Alpha &a) Constructor & Destructor Documentation Alpha::Alpha (  Unify_ECR *    t, Unify_Offset *    o )  [inline]   Definition at line 138 of file unification.h. Alpha::Alpha (    )    Definition at line 255 of file unification.cc. References T_bottom. Member Function Documentation bool Alpha::equal (  Alpha *    o )  [inline]   Definition at line 143 of file unification.h. References offset(), tao(), Unify_ECR::type(), and Unify_Offset::value(). Referenced by UnificationBasedPtr::unify(). bool Alpha::leq (  Alpha *    o, Unify_Size    s )  const   Definition at line 259 of file unification.cc. References _offset, _tao, UnifyType::is_bottom(), Unify_Offset::leq(), UnifyType::leq(), and Unify_ECR::type(). Unify_Offset* Alpha::offset (    )  const [inline]   Definition at line 141 of file unification.h. Referenced by UnificationBasedPtr::at_initializer(), UnificationBasedPtr::at_threeAddr(), UnificationBasedPtr::ecr(), equal(), UnificationBasedPtr::join(), and UnificationBasedPtr::unify(). void Alpha::print (    )  const   Definition at line 264 of file unification.cc. References _offset, _tao, UnifyType::id(), and Unify_ECR::type(). Unify_ECR* Alpha::tao (    )  const [inline]   Definition at line 140 of file unification.h. Referenced by UnificationBasedPtr::at_allocation(), UnificationBasedPtr::at_initializer(), UnificationBasedPtr::cjoin(), Unify_Pendings::cleanup(), UnificationBasedPtr::ecr(), UnificationBasedPtr::ecrDeref(), UnificationBasedPtr::ecrField(), equal(), Unify_Pendings::insert(), UnificationBasedPtr::join(), memoryModel::lookup_string_constant(), UnificationBasedPtr::print_ecr(), and UnificationBasedPtr::unify(). Friends And Related Function Documentation ostream& operator<< (  ostream &    o, const Alpha &    a )  [friend]   Definition at line 146 of file unification.h. Member Data Documentation Unify_Offset* Alpha::_offset [private]   Definition at line 136 of file unification.h. Referenced by leq(), and print(). Unify_ECR* Alpha::_tao [private]   Definition at line 135 of file unification.h. Referenced by leq(), and print(). 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