clang 20.0.0git
Public Types | Public Member Functions | List of all members
clang::ento::ExplodedNodeSet Class Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"

Public Types

using iterator = ImplTy::iterator
 
using const_iterator = ImplTy::const_iterator
 

Public Member Functions

 ExplodedNodeSet (ExplodedNode *N)
 
 ExplodedNodeSet ()=default
 
void Add (ExplodedNode *N)
 
unsigned size () const
 
bool empty () const
 
bool erase (ExplodedNode *N)
 
void clear ()
 
void insert (const ExplodedNodeSet &S)
 
iterator begin ()
 
iterator end ()
 
const_iterator begin () const
 
const_iterator end () const
 

Detailed Description

Definition at line 458 of file ExplodedGraph.h.

Member Typedef Documentation

◆ const_iterator

using clang::ento::ExplodedNodeSet::const_iterator = ImplTy::const_iterator

Definition at line 475 of file ExplodedGraph.h.

◆ iterator

using clang::ento::ExplodedNodeSet::iterator = ImplTy::iterator

Definition at line 474 of file ExplodedGraph.h.

Constructor & Destructor Documentation

◆ ExplodedNodeSet() [1/2]

clang::ento::ExplodedNodeSet::ExplodedNodeSet ( ExplodedNode N)
inline

Definition at line 463 of file ExplodedGraph.h.

◆ ExplodedNodeSet() [2/2]

clang::ento::ExplodedNodeSet::ExplodedNodeSet ( )
default

Member Function Documentation

◆ Add()

void clang::ento::ExplodedNodeSet::Add ( ExplodedNode N)
inline

◆ begin() [1/2]

iterator clang::ento::ExplodedNodeSet::begin ( )
inline

◆ begin() [2/2]

const_iterator clang::ento::ExplodedNodeSet::begin ( ) const
inline

Definition at line 494 of file ExplodedGraph.h.

◆ clear()

void clang::ento::ExplodedNodeSet::clear ( )
inline

Definition at line 481 of file ExplodedGraph.h.

Referenced by expandGraphWithCheckers().

◆ empty()

bool clang::ento::ExplodedNodeSet::empty ( ) const
inline

◆ end() [1/2]

iterator clang::ento::ExplodedNodeSet::end ( )
inline

◆ end() [2/2]

const_iterator clang::ento::ExplodedNodeSet::end ( ) const
inline

Definition at line 495 of file ExplodedGraph.h.

◆ erase()

bool clang::ento::ExplodedNodeSet::erase ( ExplodedNode N)
inline

◆ insert()

void clang::ento::ExplodedNodeSet::insert ( const ExplodedNodeSet S)
inline

◆ size()

unsigned clang::ento::ExplodedNodeSet::size ( ) const
inline

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