cprover
|
#include <data_dp.h>
Public Member Functions | |
void | dp_analysis (const abstract_eventt &read, const abstract_eventt &write) |
void | dp_analysis (const datat &read, bool local_read, const datat &write, bool local_write) |
insertion More... | |
bool | dp (const abstract_eventt &e1, const abstract_eventt &e2) const |
search in N^2 More... | |
void | dp_merge () |
merge in N^3 More... | |
void | print (messaget &message) |
Public Attributes | |
unsigned | class_nb |
bool data_dpt::dp | ( | const abstract_eventt & | e1, |
const abstract_eventt & | e2 | ||
) | const |
search in N^2
Definition at line 72 of file data_dp.cpp.
References abstract_eventt::local, abstract_eventt::source_location, and abstract_eventt::variable.
Referenced by event_grapht::critical_cyclet::is_not_thin_air(), event_grapht::critical_cyclet::is_unsafe(), event_grapht::critical_cyclet::is_unsafe_asm(), and event_grapht::critical_cyclet::print_name().
void data_dpt::dp_analysis | ( | const abstract_eventt & | read, |
const abstract_eventt & | write | ||
) |
Definition at line 62 of file data_dp.cpp.
References abstract_eventt::local, abstract_eventt::source_location, and abstract_eventt::variable.
void data_dpt::dp_analysis | ( | const datat & | read, |
bool | local_read, | ||
const datat & | write, | ||
bool | local_write | ||
) |
insertion
Definition at line 21 of file data_dp.cpp.
References class_nb, datat::id, and datat::loc.
void data_dpt::dp_merge | ( | ) |
merge in N^3
Definition at line 117 of file data_dp.cpp.
void data_dpt::print | ( | messaget & | message | ) |
Definition at line 160 of file data_dp.cpp.
References messaget::debug(), and messaget::eom().
unsigned data_dpt::class_nb |
Definition at line 54 of file data_dp.h.
Referenced by dp_analysis().