SVF::MTA::RacePair Struct Reference

A race pair: two statements that may race. More...

#include <MTA.h>

Public Member Functions
	RacePair (const SVFStmt *s1, const SVFStmt *s2)
bool	operator< (const RacePair &other) const

Public Attributes
const SVFStmt *	stmt1
const SVFStmt *	stmt2

Detailed Description

A race pair: two statements that may race.

Definition at line 119 of file MTA.h.

Constructor & Destructor Documentation

RacePair()

SVF::MTA::RacePair::RacePair ( const SVFStmt *  s1, const SVFStmt *  s2  )

inline

Definition at line 123 of file MTA.h.

: stmt1(s1), stmt2(s2) {}

Member Function Documentation

operator<()

bool SVF::MTA::RacePair::operator< ( const RacePair &  other ) const

inline

Definition at line 124 of file MTA.h.

        {
            if (stmt1 != other.stmt1) return stmt1 < other.stmt1;
            return stmt2 < other.stmt2;
        }

Member Data Documentation

stmt1

const SVFStmt* SVF::MTA::RacePair::stmt1

Definition at line 121 of file MTA.h.

stmt2

const SVFStmt* SVF::MTA::RacePair::stmt2

Definition at line 122 of file MTA.h.

---

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

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