| public predecessorsOf ( object $vertex ) : Generator | ||
| $vertex | object | The vertex whose predecessor vertices should be enumerated. |
| return | Generator | A generator that yields predecessor vertices as values. |
public function predecessorsOf($vertex); public static function insertBefore(Vertex $old, Vertex $new, Digraph $graph)
{
$toRemove = array();
foreach ($graph->predecessorsOf($old) as $node) {
$graph->ensureArc($node, $new);
$toRemove[] = $node;
}
$graph->ensureArc($new, $old);
foreach ($toRemove as $node) {
$graph->removeArc($node, $old);
}
}
