Searched refs:updateDFSNumbers (Results 1 – 4 of 4) sorted by relevance
467 updateDFSNumbers(); in dominates()667 void updateDFSNumbers() const { in updateDFSNumbers() function
287 DT.updateDFSNumbers(); in Calculate()
402 updateDFSNumbers(); in dominates()583 void updateDFSNumbers() { in updateDFSNumbers() function
284 DT.updateDFSNumbers(); in Calculate()