cprover
Public Member Functions | Public Attributes | List of all members
data_dpt Class Reference

#include <data_dp.h>

Inheritance diagram for data_dpt:
[legend]
Collaboration diagram for data_dpt:
[legend]

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
 

Detailed Description

Definition at line 51 of file data_dp.h.

Member Function Documentation

◆ dp()

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().

◆ dp_analysis() [1/2]

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.

◆ dp_analysis() [2/2]

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.

◆ dp_merge()

void data_dpt::dp_merge ( )

merge in N^3

Definition at line 117 of file data_dp.cpp.

◆ print()

void data_dpt::print ( messaget &  message)

Definition at line 160 of file data_dp.cpp.

References messaget::debug(), and messaget::eom().

Member Data Documentation

◆ class_nb

unsigned data_dpt::class_nb

Definition at line 54 of file data_dp.h.

Referenced by dp_analysis().

The documentation for this class was generated from the following files: