ConstraintMap Class Reference

#include <include/constraint.h>

List of all members.

Detailed Description

Definition at line 27 of file constraint.h.

Public Types

typedef std::map< Exp *, Exp *,
lessExpStar >::iterator 		iterator

Public Member Functions

iterator begin ()
void clear ()
void constrain (Type *t1, Type *t2)
void constrain (Exp *loc, Type *t)
void constrain (Exp *loc1, Exp *loc2)
iterator end ()
iterator find (Exp *e)
void insert (Exp *lhs, Exp *rhs)
void insert (Exp *term)
bool isFound (Exp *e)
void makeUnion (ConstraintMap &o)
Exp *& operator[] (Exp *e)
void print (std::ostream &os)
char * prints ()
int size ()
void substAlpha ()
void substitute (ConstraintMap &other)

Private Attributes

std::map< Exp *, Exp *, lessExpStar > cmap

Member Typedef Documentation

typedef std::map<Exp*, Exp*, lessExpStar>::iterator ConstraintMap::iterator
 

Definition at line 30 of file constraint.h.

Member Function Documentation

iterator ConstraintMap::begin (   )  [inline]
 

Definition at line 43 of file constraint.h.

References cmap.

Referenced by Constraints::substIntoDisjuncts(), and Constraints::substIntoEquates().

void ConstraintMap::clear (   )  [inline]
 

Definition at line 41 of file constraint.h.

References cmap.

Referenced by Constraints::substIntoEquates().

void ConstraintMap::constrain (  Type *  t1,
Type *  t2
)  [inline]
 

Definition at line 57 of file constraint.h.

References cmap.

void ConstraintMap::constrain (  Exp *  loc,
Type *  t
)  [inline]
 

Definition at line 54 of file constraint.h.

References cmap, and opTypeOf.

void ConstraintMap::constrain (  Exp *  loc1,
Exp *  loc2
)  [inline]
 

Definition at line 46 of file constraint.h.

References cmap, and opTypeOf.

Referenced by Constraints::unify().

iterator ConstraintMap::end (   )  [inline]
 

Definition at line 44 of file constraint.h.

References cmap.

Referenced by Constraints::substIntoDisjuncts(), and Constraints::substIntoEquates().

iterator ConstraintMap::find (  Exp *  e  )  [inline]
 

Definition at line 35 of file constraint.h.

References cmap.

Referenced by Constraints::substIntoEquates().

void ConstraintMap::insert (  Exp *  lhs,
Exp *  rhs
)  [inline]
 

Definition at line 52 of file constraint.h.

References cmap.

void ConstraintMap::insert (  Exp *  term  ) 
 

Definition at line 71 of file constraint.cpp.

References cmap, and Exp::isEquality().

bool ConstraintMap::isFound (  Exp *  e  )  [inline]
 

Definition at line 33 of file constraint.h.

References cmap.

void ConstraintMap::makeUnion (  ConstraintMap &  o  ) 
 

Definition at line 48 of file constraint.cpp.

References cmap, TypeVal::getType(), and TypeVal::setType().

Referenced by Constraints::doSolve().

Exp*& ConstraintMap::operator[] (  Exp *  e  )  [inline]
 

Definition at line 37 of file constraint.h.

References cmap.

void ConstraintMap::print (  std::ostream &  os  ) 
 

Definition at line 28 of file constraint.cpp.

References cmap.

Referenced by Constraints::print(), and prints().

char * ConstraintMap::prints (   ) 
 

Definition at line 40 of file constraint.cpp.

References debug_buffer, DEBUG_BUFSIZE, and print().

Referenced by Constraints::doSolve().

int ConstraintMap::size (   )  [inline]
 

Definition at line 39 of file constraint.h.

References cmap.

Referenced by Constraints::print(), and Constraints::substIntoEquates().

void ConstraintMap::substAlpha (   ) 
 

Definition at line 122 of file constraint.cpp.

References cmap, and Type::isPointerToAlpha().

void ConstraintMap::substitute (  ConstraintMap &  other  ) 
 

Definition at line 96 of file constraint.cpp.

References cmap.

Member Data Documentation

std::map<Exp*, Exp*, lessExpStar> ConstraintMap::cmap [private]
 

Definition at line 28 of file constraint.h.

Referenced by begin(), clear(), constrain(), end(), find(), insert(), isFound(), makeUnion(), operator[](), print(), size(), substAlpha(), and substitute().

The documentation for this class was generated from the following files:
Generated on Tue Sep 19 21:18:41 2006 for Boomerang by  doxygen 1.4.6