Searched refs:getCoreEngine (Results 1 – 4 of 4) sorted by relevance
120 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
378 Eng.getCoreEngine())) in checkEndAnalysis()
307 const CoreEngine &getCoreEngine() const { return Engine; } in getCoreEngine() function
293 NodeBuilderContext Ctx(getCoreEngine(), Blk, BindedRetNode); in processCallExit()