Searched refs:collectSlicedOffNodes (Results 1 – 2 of 2) sorted by relevance
184 void collectSlicedOffNodes(SMTSolverResult& solverResult, DHSet<Unit*>& acc);
89 collectSlicedOffNodes(res, slicedOff); in getInterpolant()255 void InterpolantMinimizer::collectSlicedOffNodes(SMTSolverResult& solverResult, DHSet<Unit*>& acc) in collectSlicedOffNodes() function in InterpolantMinimizer