#include "petscsys.h" PetscErrorCode PetscOptionsHasName(PetscOptions options,const char pre[],const char name[],PetscBool *set)Not Collective
| options | - options database, use NULL for default global database | |
| pre | - string to prepend to the name or NULL | |
| name | - the option one is seeking |
| set | - PETSC_TRUE if found else PETSC_FALSE. |