#include <TCT.h>

Inheritance diagram for SVF::TCTEdge:

Public Types
enum	CEDGEK { ThreadCreateEdge }

typedef GenericNode< TCTNode, TCTEdge >::GEdgeSetTy	ThreadCreateEdgeSet

Public Types inherited from SVF::GenericEdge< NodeTy >
typedef NodeTy	NodeType
	Node type. More...

typedef u64_t	GEdgeFlag

typedef s64_t	GEdgeKind

typedef struct SVF::GenericEdge::equalGEdge	equalGEdge
	Add the hash function for std::set (we also can overload operator< to implement this) More...

Public Member Functions
	TCTEdge (TCTNode s, TCTNode d, CEDGEK kind)
	Constructor. More...

virtual	~TCTEdge ()
	Destructor. More...

Public Member Functions inherited from SVF::GenericEdge< NodeTy >
	GenericEdge (NodeTy s, NodeTy d, GEdgeFlag k)
	Constructor. More...

virtual	~GenericEdge ()
	Destructor. More...

NodeID	getSrcID () const
	get methods of the components More...

NodeID	getDstID () const

GEdgeKind	getEdgeKind () const

GEdgeKind	getEdgeKindWithoutMask () const

NodeType *	getSrcNode () const

NodeType *	getDstNode () const

virtual bool	operator== (const GenericEdge< NodeType > *rhs) const

Static Public Member Functions
static bool	classof (const TCTEdge *)
	Classof. More...

static bool	classof (const GenericTCTEdgeTy *edge)

Additional Inherited Members
Static Protected Attributes inherited from SVF::GenericEdge< NodeTy >
static constexpr unsigned char	EdgeKindMaskBits = 8
	We use the lower 8 bits to denote edge kind. More...

static constexpr u64_t	EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits)

Detailed Description

Definition at line 50 of file TCT.h.

Member Typedef Documentation

◆ ThreadCreateEdgeSet

typedef GenericNode<TCTNode, TCTEdge>::GEdgeSetTy SVF::TCTEdge::ThreadCreateEdgeSet

Definition at line 77 of file TCT.h.

Member Enumeration Documentation

◆ CEDGEK

enum SVF::TCTEdge::CEDGEK

Enumerator
ThreadCreateEdge

Definition at line 53 of file TCT.h.

     {
         ThreadCreateEdge
     };

Constructor & Destructor Documentation

◆ TCTEdge()

SVF::TCTEdge::TCTEdge	(	TCTNode *	s,
		TCTNode *	d,
		CEDGEK	kind
	)

inline

Constructor.

Definition at line 58 of file TCT.h.

                                                  :
         GenericTCTEdgeTy(s, d, kind)
     {
     }

◆ ~TCTEdge()

virtual SVF::TCTEdge::~TCTEdge ( )

inlinevirtual

Destructor.

Definition at line 63 of file TCT.h.

64 {

65 }

Member Function Documentation

◆ classof() [1/2]

static bool SVF::TCTEdge::classof ( const GenericTCTEdgeTy * edge )

inlinestatic

Definition at line 72 of file TCT.h.

     {
         return edge->getEdgeKind() == TCTEdge::ThreadCreateEdge;
     }

◆ classof() [2/2]

static bool SVF::TCTEdge::classof ( const TCTEdge * )

inlinestatic

Classof.

Definition at line 68 of file TCT.h.

     {
         return true;
     }

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

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

Public Types

Public Member Functions

Static Public Member Functions

Additional Inherited Members