Searched defs:getStateManager (Results 1 – 5 of 5) sorted by relevance
169 ProgramStateManager &getStateManager() { in getStateManager() function
289 ProgramStateManager& getStateManager() override { return StateMgr; } in getStateManager() function
124 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager() function
108 ProgramStateManager &getStateManager() const { in getStateManager() function
2763 GRBugReporter::getStateManager() { return Eng.getStateManager(); } in getStateManager() function in GRBugReporter