#include "petscsys.h" PetscErrorCode PetscOptionsUsed(PetscOptions options,const char *name,PetscBool *used)