datat Struct Reference

#include <data_dp.h>

Collaboration diagram for datat:

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

Detailed Description

Definition at line 24 of file data_dp.h.

Constructor & Destructor Documentation

datat() [1/2]

datat::datat ( irep_idt  _id, source_locationt  _loc, unsigned  _eq_class  )

inline

Definition at line 30 of file data_dp.h.

datat() [2/2]

datat::datat ( irep_idt  _id, source_locationt  _loc  )

inline

Definition at line 35 of file data_dp.h.

Member Function Documentation

operator<()

bool datat::operator< ( const datat &  d2 ) const

inline

Definition at line 45 of file data_dp.h.

operator==()

bool datat::operator== ( const datat &  d ) const

inline

Definition at line 40 of file data_dp.h.

Member Data Documentation

eq_class

unsigned datat::eq_class

mutable

Definition at line 28 of file data_dp.h.

id

irep_idt datat::id

Definition at line 26 of file data_dp.h.

loc

source_locationt datat::loc

Definition at line 27 of file data_dp.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/wmm/data_dp.h