petsc-3.7.7 2017-09-25

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