Searched refs:getEngine (Results 1 – 2 of 2) sorted by relevance
628 ExplodedNode *N = C.getEngine().G.getNode(Loc, State, MarkAsSink, &IsNew); in generateNodeImpl()629 N->addPredecessor(FromN, C.getEngine().G); in generateNodeImpl()
212 const CoreEngine &getEngine() const { return Eng; } in getEngine() function