Searched refs:freeStates (Results 1 – 2 of 2) sorted by relevance
42 Mgr.freeStates.push_back(s); in ProgramStateRelease()435 if (!freeStates.empty()) { in getPersistentState()436 newState = freeStates.back(); in getPersistentState()437 freeStates.pop_back(); in getPersistentState()
535 std::vector<ProgramState *> freeStates; variable