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_Pendingspending ()
bool leq (Unify_Offset *o) const
void print () const

Private Attributes

Value _value
Unify_Pendings _pending


ostream & operator<< (ostream &o, const Unify_Offset &off)

Member Enumeration Documentation

enum Unify_Offset::Value

Enumeration values:

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

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:

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