cprover
|
#include <data_dp.h>
Public Member Functions | |
datat (irep_idt _id, source_locationt _loc, unsigned _eq_class) | |
datat (irep_idt _id, source_locationt _loc) | |
bool | operator== (const datat &d) const |
bool | operator< (const datat &d2) const |
Public Attributes | |
irep_idt | id |
source_locationt | loc |
unsigned | eq_class |
|
inline |
|
inline |
|
inline |
|
inline |
irep_idt datat::id |
Definition at line 26 of file data_dp.h.
Referenced by data_dpt::dp_analysis(), operator<(), and operator==().
source_locationt datat::loc |
Definition at line 27 of file data_dp.h.
Referenced by data_dpt::dp_analysis(), operator<(), and operator==().