class ExplodedNodeSet

Declaration

class ExplodedNodeSet { /* full declaration omitted */ };

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:461

Member Variables

private clang::ento::ExplodedNodeSet::ImplTy Impl

Method Overview

• public void Add(clang::ento::ExplodedNode * N)
• public ExplodedNodeSet(clang::ento::ExplodedNode * N)
• public ExplodedNodeSet()
• public clang::ento::ExplodedNodeSet::iterator begin()
• public clang::ento::ExplodedNodeSet::const_iterator begin() const
• public void clear()
• public bool empty() const
• public clang::ento::ExplodedNodeSet::iterator end()
• public clang::ento::ExplodedNodeSet::const_iterator end() const
• public bool erase(clang::ento::ExplodedNode * N)
• public void insert(const clang::ento::ExplodedNodeSet & S)
• public unsigned int size() const

Methods

¶void Add(clang::ento::ExplodedNode* N)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:473

Parameters

clang::ento::ExplodedNode* N

¶ExplodedNodeSet(clang::ento::ExplodedNode* N)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:466

Parameters

clang::ento::ExplodedNode* N

¶ExplodedNodeSet()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:471

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:494

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:497

¶void clear()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:484

¶bool empty() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:481

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:495

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:498

¶bool erase(clang::ento::ExplodedNode* N)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:482

Parameters

clang::ento::ExplodedNode* N

¶void insert(const clang::ento::ExplodedNodeSet& S)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:486

Parameters

const clang::ento::ExplodedNodeSet& S

¶unsigned int size() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:480