#include <include/constraint.h>
Definition at line 78 of file constraint.h.
Public Types | |
typedef std::map< Exp *, LocationSet, lessExpStar >::iterator | iterator |
Public Member Functions | |
void | addEquate (Exp *a, Exp *b) |
iterator | begin () |
iterator | end () |
void | erase (iterator it) |
iterator | find (Exp *e) |
void | print (std::ostream &os) |
char * | prints () |
int | size () |
Private Attributes | |
std::map< Exp *, LocationSet, lessExpStar > | emap |
|
Definition at line 81 of file constraint.h. |
|
Definition at line 87 of file constraint.h. References emap. |
|
Definition at line 82 of file constraint.h. References emap. |
|
Definition at line 83 of file constraint.h. References emap. Referenced by Constraints::substIntoEquates(). |
|
Definition at line 84 of file constraint.h. References emap. |
|
Definition at line 89 of file constraint.h. References emap. Referenced by Constraints::substIntoEquates(). |
|
Definition at line 79 of file constraint.cpp. References emap. Referenced by Constraints::print(), and prints(). |
|
Definition at line 87 of file constraint.cpp. References debug_buffer, DEBUG_BUFSIZE, and print(). |
|
Definition at line 85 of file constraint.h. References emap. Referenced by Constraints::print(). |
|
Definition at line 79 of file constraint.h. Referenced by addEquate(), begin(), end(), erase(), find(), print(), and size(). |