VirtualCFG::MakeClosure::visitedNodes

Synopsis

Declared in <SageIII/virtualCFG/filteredCFGImpl.h>

std::set<CFGNode> visitedNodes;

Created with MrDocs