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;