public IntSurf_PntOn2S PPntOn2SDummy() { throw new NotImplementedException(); } }; // class TopOpeBRep_WPointInter
