SVF::MTASVFGBuilder::ThreadVFCandidate Struct Reference

#include <MTASVFGBuilder.h>

Public Member Functions
	ThreadVFCandidate (NodeID sourceNodeId, NodeID destinationNodeId)
bool	operator< (const ThreadVFCandidate &other) const
bool	operator== (const ThreadVFCandidate &other) const

Public Attributes
NodeID	sourceNodeId
NodeID	destinationNodeId

Detailed Description

Definition at line 93 of file MTASVFGBuilder.h.

Constructor & Destructor Documentation

ThreadVFCandidate()

SVF::MTASVFGBuilder::ThreadVFCandidate::ThreadVFCandidate ( NodeID  sourceNodeId, NodeID  destinationNodeId  )

inline

Definition at line 95 of file MTASVFGBuilder.h.

            : sourceNodeId(sourceNodeId), destinationNodeId(destinationNodeId)
        {
        }

Member Function Documentation

operator<()

bool SVF::MTASVFGBuilder::ThreadVFCandidate::operator< ( const ThreadVFCandidate &  other ) const

inline

Definition at line 100 of file MTASVFGBuilder.h.

        {
            return sourceNodeId < other.sourceNodeId ||
                   (sourceNodeId == other.sourceNodeId &&
                    destinationNodeId < other.destinationNodeId);
        }

operator==()

bool SVF::MTASVFGBuilder::ThreadVFCandidate::operator== ( const ThreadVFCandidate &  other ) const

inline

Definition at line 107 of file MTASVFGBuilder.h.

        {
            return sourceNodeId == other.sourceNodeId &&
                   destinationNodeId == other.destinationNodeId;
        }

Member Data Documentation

destinationNodeId

NodeID SVF::MTASVFGBuilder::ThreadVFCandidate::destinationNodeId

Definition at line 114 of file MTASVFGBuilder.h.

sourceNodeId

NodeID SVF::MTASVFGBuilder::ThreadVFCandidate::sourceNodeId

Definition at line 113 of file MTASVFGBuilder.h.

---

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

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