Added HasVertex() method.