Searched refs:DoNotPrunePath (Results 1 – 1 of 1) sorted by relevance
142 bool DoNotPrunePath = false; variable219 bool shouldPrunePath() const { return !DoNotPrunePath; } in shouldPrunePath()222 void disablePathPruning() { DoNotPrunePath = true; } in disablePathPruning()