Searched refs:PetscOptionsDestroyDefault (Results 1 – 4 of 4) sorted by relevance
26 PETSC_EXTERN PetscErrorCode PetscOptionsDestroyDefault(void);
358 PetscCall(PetscOptionsDestroyDefault()); in PetscOptionsCheckInitial_Private()
1706 PetscCall(PetscOptionsDestroyDefault()); in PetscFinalize()
253 PetscErrorCode PetscOptionsDestroyDefault(void) in PetscOptionsDestroyDefault() function