SVF::MTA::RaceClassKey Struct Reference

Public Member Functions
bool	operator< (const RaceClassKey &other) const

Public Attributes
NodeID	tid
bool	isStore
const NodeBS *	interleaving
bool	locked
NodeID	lockNodeId

Detailed Description

Definition at line 168 of file MTA.h.

Member Function Documentation

operator<()

bool MTA::RaceClassKey::operator<

(

const RaceClassKey &

other

)

const

Definition at line 214 of file MTA.cpp.

{
    if (tid != other.tid)
        return tid < other.tid;
    if (isStore != other.isStore)
        return isStore < other.isStore;
    if (SVFUtil::cmpNodeBS(*interleaving, *other.interleaving))
        return true;
    if (SVFUtil::cmpNodeBS(*other.interleaving, *interleaving))
        return false;
    if (locked != other.locked)
        return locked < other.locked;
    return lockNodeId < other.lockNodeId;
}

Member Data Documentation

interleaving

const NodeBS* SVF::MTA::RaceClassKey::interleaving

Definition at line 172 of file MTA.h.

isStore

bool SVF::MTA::RaceClassKey::isStore

Definition at line 171 of file MTA.h.

locked

bool SVF::MTA::RaceClassKey::locked

Definition at line 173 of file MTA.h.

lockNodeId

NodeID SVF::MTA::RaceClassKey::lockNodeId

Definition at line 174 of file MTA.h.

tid

NodeID SVF::MTA::RaceClassKey::tid

Definition at line 170 of file MTA.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/MTA/MTA.h
• /home/runner/work/SVF/SVF/svf/lib/MTA/MTA.cpp