IMP_Ftree::offsetExists PHP Method

    public function offsetExists($offset)
    {
        /* Optimization: Only normalize in the rare case it is not found on
         * the first attempt. */
        $offset = strval($offset);
        return isset($this->_elts[$offset]) || isset($this->_elts[$this->_normalize($offset)]);
    }