public function getSuccessor(Vertex $v) { $set = null; if ($this->adjacency->contains($v)) { $set = array(); foreach ($this->adjacency[$v] as $succ) { $set[] = $succ; } } return $set; }