def add(self, thing):
        x_id = thing[0]
        if x_id in self.g.V:
            self.verts_seen.add(x_id)
        elif x_id in self.g.E:
            self.edges_seen.add(x_id)

        return bool(self)
dataset/ETHPy150Open spotify/python-graphwalker/graphwalker/halting.py/Coverage.add/original