C-Breeze C Compiler Infrastructure [ Project home page]

Unify_Offset Class Reference #include <unification.h> List of all members. Public Types enum   Value { zero, unknown } Public Member Functions   Unify_Offset (Value v) Value  value () const void  value (Value v) Unify_Pendings &  pending () bool  leq (Unify_Offset *o) const void  print () const Private Attributes Value  _value Unify_Pendings  _pending Friends ostream &  operator<< (ostream &o, const Unify_Offset &off) Member Enumeration Documentation enum Unify_Offset::Value   Enumeration values: zero  unknown  Definition at line 117 of file unification.h. Constructor & Destructor Documentation Unify_Offset::Unify_Offset (  Value  v  )  [inline]   Definition at line 122 of file unification.h. Member Function Documentation bool Unify_Offset::leq (  Unify_Offset *  o  )  const [inline]   Definition at line 126 of file unification.h. References _value, and zero. Unify_Pendings& Unify_Offset::pending (   )  [inline]   Definition at line 125 of file unification.h. References _pending. void Unify_Offset::print (   )  const [inline]   Definition at line 128 of file unification.h. References _value, and zero. void Unify_Offset::value (  Value  v  )  [inline]   Definition at line 124 of file unification.h. References _value. Value Unify_Offset::value (   )  const [inline]   Definition at line 123 of file unification.h. References _value. Referenced by Alpha::equal(). Friends And Related Function Documentation ostream& operator<< (  ostream &  o, const Unify_Offset &  off )  [friend]   Definition at line 129 of file unification.h. Member Data Documentation Unify_Pendings Unify_Offset::_pending [private]   Definition at line 120 of file unification.h. Referenced by pending(). Value Unify_Offset::_value [private]   Definition at line 119 of file unification.h. Referenced by leq(), print(), and value(). The documentation for this class was generated from the following file: unification.h

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