Searched refs:StateSet (Results 1 – 3 of 3) sorted by relevance
134 typedef std::set<State *, less_ptr<State> > StateSet; typedef in __anon5cea47920311::DFA135 StateSet states;283 DFA::StateSet::iterator SI = states.begin(); in writeTableAndAPI()
38 Mgr.StateSet.RemoveNode(s); in ProgramStateRelease()388 if (ProgramState *I = StateSet.FindNodeOrInsertPos(ID, InsertPos)) in getPersistentState()400 StateSet.InsertNode(newState, InsertPos); in getPersistentState()
454 llvm::FoldingSet<ProgramState> StateSet; variable