private function has_marked_node($task_node) { $task_key = $this->task_key($task_node); return isset($this->marked_nodes[$task_key]); }