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.
Referenced by Alpha::leq().

Unify_Pendings& Unify_Offset::pending ( ) [inline]

Definition at line 125 of file unification.h.
Referenced by Unify_Pendings::insert(), UnificationBasedPtr::join(), UnificationBasedPtr::make_unknown(), and UnificationBasedPtr::unless_zero().

void Unify_Offset::print ( ) const [inline]

Definition at line 128 of file unification.h.
References zero.

void Unify_Offset::value ( Value v ) [inline]

Definition at line 124 of file unification.h.

Value Unify_Offset::value ( ) const [inline]

Definition at line 123 of file unification.h.
Referenced by UnificationBasedPtr::at_threeAddr(), UnificationBasedPtr::ecr(), Alpha::equal(), Unify_Pendings::insert(), UnificationBasedPtr::join(), UnificationBasedPtr::make_unknown(), UnificationBasedPtr::unify(), and UnificationBasedPtr::unless_zero().

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.

Value Unify_Offset::_value [private]

Definition at line 119 of file unification.h.
Referenced by leq().

The documentation for this class was generated from the following file:

unification.h

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