Searched refs:freeStates (Results 1 – 2 of 2) sorted by relevance
40 Mgr.freeStates.push_back(s); in ProgramStateRelease()392 if (!freeStates.empty()) { in getPersistentState()393 newState = freeStates.back(); in getPersistentState()394 freeStates.pop_back(); in getPersistentState()
466 std::vector<ProgramState *> freeStates; variable