Searched refs:CallEventMgr (Results 1 – 2 of 2) sorted by relevance
525 std::unique_ptr<CallEventManager> CallEventMgr; variable575 CallEventManager &getCallEventManager() { return *CallEventMgr; } in getCallEventManager()
78 CallEventMgr(new CallEventManager(alloc)), Alloc(alloc) { in ProgramStateManager()