// This file is generated by WOK (CPPExt). // Please do not edit this file; modify original file instead. // The copyright and license terms as defined for the original file apply to // this header file considered to be the "object code" form of the original source. #include #ifndef _Standard_NoSuchObject_HeaderFile #include #endif #ifndef _BOP_ListIteratorOfListOfCheckResult_HeaderFile #include #endif #ifndef _BOP_CheckResult_HeaderFile #include #endif #ifndef _BOP_ListNodeOfListOfCheckResult_HeaderFile #include #endif #define Item BOP_CheckResult #define Item_hxx #define TCollection_ListNode BOP_ListNodeOfListOfCheckResult #define TCollection_ListNode_hxx #define TCollection_ListIterator BOP_ListIteratorOfListOfCheckResult #define TCollection_ListIterator_hxx #define Handle_TCollection_ListNode Handle_BOP_ListNodeOfListOfCheckResult #define TCollection_ListNode_Type_() BOP_ListNodeOfListOfCheckResult_Type_() #define TCollection_List BOP_ListOfCheckResult #define TCollection_List_hxx #include