// 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_DomainError_HeaderFile #include #endif #ifndef _Standard_OutOfRange_HeaderFile #include #endif #ifndef _TopLoc_Location_HeaderFile #include #endif #ifndef _TopLoc_MapLocationHasher_HeaderFile #include #endif #ifndef _TopLoc_IndexedMapNodeOfIndexedMapOfLocation_HeaderFile #include #endif #define TheKey TopLoc_Location #define TheKey_hxx #define Hasher TopLoc_MapLocationHasher #define Hasher_hxx #define TCollection_IndexedMapNode TopLoc_IndexedMapNodeOfIndexedMapOfLocation #define TCollection_IndexedMapNode_hxx #define Handle_TCollection_IndexedMapNode Handle_TopLoc_IndexedMapNodeOfIndexedMapOfLocation #define TCollection_IndexedMapNode_Type_() TopLoc_IndexedMapNodeOfIndexedMapOfLocation_Type_() #define TCollection_IndexedMap TopLoc_IndexedMapOfLocation #define TCollection_IndexedMap_hxx #include