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