petsc-3.8.4 2018-03-24

PetscOptionsUsed

Indicates if PETSc has used a particular option set in the database

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

Not Collective

	options	- options database, use NULL for default global database
	option	- string name of option

used -PETSC_TRUE if the option was used, otherwise false, including if option was not found in options database