14 #ifndef CPROVER_GOTO_INSTRUMENT_WMM_DATA_DP_H 15 #define CPROVER_GOTO_INSTRUMENT_WMM_DATA_DP_H 74 #endif // CPROVER_GOTO_INSTRUMENT_WMM_DATA_DP_H
void print(messaget &message)
bool operator==(const datat &d) const
bool operator<(const datat &d2) const
datat(irep_idt _id, source_locationt _loc, unsigned _eq_class)
void dp_merge()
merge in N^3
void dp_analysis(const abstract_eventt &read, const abstract_eventt &write)
datat(irep_idt _id, source_locationt _loc)
bool dp(const abstract_eventt &e1, const abstract_eventt &e2) const
search in N^2