public int Size() { throw new NotImplementedException(); } }; // class TopOpeBRepDS_IndexedDataMapOfVertexPoint