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