OptionsHasName

Determines whether a certain option is given in the database.

Synopsis

int OptionsHasName(char* pre,char *name,int *flg)
Not Collective

Input Parameters

name - the option one is seeking
pre - string to prepend to the name or PETSC_NULL

Output Parameters

flg -1 if found else 0.

Keywords

options, database, has, name

See Also

OptionsGetInt(), OptionsGetDouble(),
OptionsGetString(), OptionsGetIntArray(), OptionsGetDoubleArray()

Location: src/sys/src/objectsoptions.c
System Index
Table of Contents