def __del__(self): """! @brief Default destructor of LEGION. """ if (self.__ccore_legion_pointer is not None): wrapper.legion_destroy(self.__ccore_legion_pointer) self.__ccore_legion_pointer = None
def __del__(self): """! @brief Default destructor of LEGION. """ if (self.__ccore_legion_pointer is not None): wrapper.legion_destroy(self.__ccore_legion_pointer); self.__ccore_legion_pointer = None;