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

Static Public Member Functions
static bool	statementLess (const SVFStmt *lhs, const SVFStmt *rhs)

Public Attributes
const SVFStmt *	stmt1
const SVFStmt *	stmt2

Detailed Description

A race pair: two statements that may race.

Definition at line 111 of file MTA.h.

Constructor & Destructor Documentation

RacePair()

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

inline

Definition at line 115 of file MTA.h.

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

Member Function Documentation

operator<()

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

inline

Definition at line 126 of file MTA.h.

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

statementLess()

bool SVF::MTA::RacePair::statementLess ( const SVFStmt * lhs, const SVFStmt * rhs )

inlinestatic

Definition at line 121 of file MTA.h.

        {
            return lhs->getEdgeID() < rhs->getEdgeID();
        }

Member Data Documentation

stmt1

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

Definition at line 113 of file MTA.h.

stmt2

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

Definition at line 114 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