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