VirtualCFG::CfgToDotImpl::exploredNodes

Synopsis

Declared in <SageIII/virtualCFG/filteredCFGImpl.h>

std::multimap<SgNode*, NodeT> exploredNodes;

Created with MrDocs