Searched refs:user_set (Results 1 – 2 of 2) sorted by relevance
242 …etscDeviceContextSetDevice_Private(PetscDeviceContext dctx, PetscDevice device, PetscBool user_set) in PetscDeviceContextSetDevice_Private() argument259 dctx->usersetdevice = user_set; in PetscDeviceContextSetDevice_Private()
1010 user_set = 01019 user_set = 11024 if 0 and not user_set: