public function getAvailableFiles() { $files = array(); foreach ($this->mutations as $mutant) { if (!in_array($mutant->getSourceFile(), $files)) { array_push($files, $mutant->getSourceFile()); } } return $files; }