#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 |
In many cases you probably want to use PetscOptionsGetBool() instead of calling this, to allowing toggling values.