14 #ifndef CPROVER_GOTO_INSTRUMENT_WMM_DATA_DP_H 15 #define CPROVER_GOTO_INSTRUMENT_WMM_DATA_DP_H 31 : id(_id), loc(_loc), eq_class(_eq_class)
36 : id(_id), loc(_loc), eq_class(0)
42 return id==d.
id && loc==d.
loc;
47 return id<d2.
id || (
id==d2.
id && loc<d2.
loc);
74 #endif // CPROVER_GOTO_INSTRUMENT_WMM_DATA_DP_H
bool operator==(const datat &d) const
bool operator<(const datat &d2) const
datat(irep_idt _id, source_locationt _loc, unsigned _eq_class)
datat(irep_idt _id, source_locationt _loc)