public function __toString() { $str = get_class($this) . "{\n"; $str .= implode(", ", $this->value); return $str . "}"; }