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