coordinates of vertex

I use TopExp_Explorer to find vertices in a shape. These vertices are stored in a TopTools_SequenceOfShape. Now i want to find coordinates of these vertices. But in TopoDS, I don't find methods to do that. I only find this method in gp_Pnt. Is it possible to transform a TopoDS_Vertex in gp_Pnt
Thanks for your help.

S. Routelous's picture

gp_Pnt P = BRep_Tool::Pnt(aVertex);