docs: def is_F_hypergraph(self):
          """Indicates whether the hypergraph is an F-hypergraph.
          In an F-hypergraph, all hyperedges are F-hyperedges -- that is, every
          hyperedge has exactly one node in the tail.
  
          :returns: bool -- True iff the hypergraph is an F-hypergraph.
  
          """
          for hyperedge_id in self._hyperedge_attributes:
              tail = self.get_hyperedge_tail(hyperedge_id)
              if len(tail) > 1:
                  return False
          return True