reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
37 if (--s->refCount == 0) { 38 ProgramStateManager &Mgr = s->getStateManager(); 39 Mgr.StateSet.RemoveNode(s); 40 s->~ProgramState(); 41 Mgr.freeStates.push_back(s);