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