Lines Matching full:visited
537 // We track the number of successors of a node which have been visited, and
538 // visit a node once we have visited all of its successors. Only edges where
564 // * Block 7 is not visited because we have only visited one of its two
566 // * Block 8 is visited because we've visited its only successor.
568 // * Block 7 is visited because we've now visited both of its successors.
570 // * Blocks 1, 2, 4, 5, and 6 are not visited because we didn't visit all
572 // * Block 3 is not visited because it initializes 'n'.
573 // Now the algorithm terminates, having visited blocks 7 and 8, and having
582 // Specify that we've already visited all successors of the starting block.
617 // successors as having been visited.
