// 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 _TopLoc_Location_HeaderFile #include #endif #ifndef _TopLoc_MapLocationHasher_HeaderFile #include #endif #ifndef _TopLoc_StdMapNodeOfMapOfLocation_HeaderFile #include #endif #ifndef _TopLoc_MapIteratorOfMapOfLocation_HeaderFile #include #endif #define TheKey TopLoc_Location #define TheKey_hxx #define Hasher TopLoc_MapLocationHasher #define Hasher_hxx #define TCollection_StdMapNode TopLoc_StdMapNodeOfMapOfLocation #define TCollection_StdMapNode_hxx #define TCollection_MapIterator TopLoc_MapIteratorOfMapOfLocation #define TCollection_MapIterator_hxx #define Handle_TCollection_StdMapNode Handle_TopLoc_StdMapNodeOfMapOfLocation #define TCollection_StdMapNode_Type_() TopLoc_StdMapNodeOfMapOfLocation_Type_() #define TCollection_Map TopLoc_MapOfLocation #define TCollection_Map_hxx #include