737     bool isBetter = false;  in computePartitionResult()  local
739       isBetter = ((cutCounter < currentResults.getBestNumHyperedgeCuts())  in computePartitionResult()
742       isBetter = ((terminalCounter < currentResults.getBestNumTerminals())  in computePartitionResult()
745       isBetter = ((sizeSD < currentResults.getBestSetSize())  in computePartitionResult()
748       isBetter = ((areaSD < currentResults.getBestSetArea())  in computePartitionResult()
751       isBetter = ((edgeTotalWeigth < currentResults.getBestHopWeigth())  in computePartitionResult()
754       isBetter = ((currentRuntime < currentResults.getBestRuntime())  in computePartitionResult()
757     if (isBetter) {  in computePartitionResult()
773   bool isBetter = false;  in comparePartitionings()  local
775     isBetter = newPartition.getBestNumHyperedgeCuts()  in comparePartitionings()
778     isBetter = newPartition.getBestNumTerminals()  in comparePartitionings()
781     isBetter = newPartition.getBestSetSize() < oldPartition.getBestSetSize();  in comparePartitionings()
783     isBetter = newPartition.getBestSetArea() < oldPartition.getBestSetArea();  in comparePartitionings()
785     isBetter  in comparePartitionings()
788     isBetter = newPartition.getBestRuntime() < oldPartition.getBestRuntime();  in comparePartitionings()
790   return isBetter;  in comparePartitionings()