CreateSlice::_toSave Synopsis Declared in <src/midend/programAnalysis/staticInterproceduralSlicing/CreateSlice.h> std::set<SgNode*> _toSave; Created with MrDocs