public void Transition(TopOpeBRepDS_Interference I) { throw new NotImplementedException(); } }; // class TopOpeBRepDS_Edge3dInterferenceTool