cprover
Loading...
Searching...
No Matches
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: