Lines Matching refs:Eng
181 const CoreEngine &Eng;
185 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); }
193 return Eng.WList->getBlockCounter().getNumVisited(
444 CoreEngine& Eng;
452 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng)
453 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {}
491 CoreEngine& Eng;
498 const Expr *condition, CoreEngine* eng)
499 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {}