Date: 2021-03-03T22:25:42+00:00

Actual source code: petscoptions.h
petsc-3.14.5 2021-03-03
Report Typos and Errors

      1: /*
      2:    Routines to determine options set in the options database.
      3: */
      4: #if !defined(PETSCOPTIONS_H)
      5: #define PETSCOPTIONS_H
      6: #include <petscsys.h>
      7: #include <petscviewertypes.h>

      9: typedef struct _n_PetscOptions* PetscOptions;
     10: PETSC_EXTERN PetscErrorCode PetscOptionsCreate(PetscOptions*);
     11: PETSC_EXTERN PetscErrorCode PetscOptionsPush(PetscOptions);
     12: PETSC_EXTERN PetscErrorCode PetscOptionsPop(void);
     13: PETSC_EXTERN PetscErrorCode PetscOptionsDestroy(PetscOptions*);
     14: PETSC_EXTERN PetscErrorCode PetscOptionsCreateDefault(void);
     15: PETSC_EXTERN PetscErrorCode PetscOptionsDestroyDefault(void);

     17: PETSC_EXTERN PetscErrorCode PetscOptionsHasHelp(PetscOptions,PetscBool*);
     18: PETSC_EXTERN PetscErrorCode PetscOptionsHasName(PetscOptions,const char[],const char[],PetscBool*);
     19: PETSC_EXTERN PetscErrorCode PetscOptionsGetBool(PetscOptions,const char[],const char [],PetscBool*,PetscBool*);
     20: PETSC_EXTERN PetscErrorCode PetscOptionsGetInt(PetscOptions,const char[],const char [],PetscInt*,PetscBool*);
     21: PETSC_EXTERN PetscErrorCode PetscOptionsGetEnum(PetscOptions,const char[],const char[],const char*const*,PetscEnum*,PetscBool*);
     22: PETSC_EXTERN PetscErrorCode PetscOptionsGetEList(PetscOptions,const char[],const char[],const char*const*,PetscInt,PetscInt*,PetscBool*);
     23: PETSC_EXTERN PetscErrorCode PetscOptionsGetReal(PetscOptions,const char[],const char[],PetscReal*,PetscBool*);
     24: PETSC_EXTERN PetscErrorCode PetscOptionsGetScalar(PetscOptions,const char[],const char[],PetscScalar*,PetscBool*);
     25: PETSC_EXTERN PetscErrorCode PetscOptionsGetString(PetscOptions,const char[],const char[],char[],size_t,PetscBool*);

     27: PETSC_EXTERN PetscErrorCode PetscOptionsGetBoolArray(PetscOptions,const char[],const char[],PetscBool [],PetscInt*,PetscBool*);
     28: PETSC_EXTERN PetscErrorCode PetscOptionsGetEnumArray(PetscOptions,const char[],const char[],const char*const*,PetscEnum*,PetscInt*,PetscBool*);
     29: PETSC_EXTERN PetscErrorCode PetscOptionsGetIntArray(PetscOptions,const char[],const char[],PetscInt[],PetscInt*,PetscBool*);
     30: PETSC_EXTERN PetscErrorCode PetscOptionsGetRealArray(PetscOptions,const char[],const char[],PetscReal[],PetscInt*,PetscBool*);
     31: PETSC_EXTERN PetscErrorCode PetscOptionsGetScalarArray(PetscOptions,const char[],const char[],PetscScalar[],PetscInt*,PetscBool*);
     32: PETSC_EXTERN PetscErrorCode PetscOptionsGetStringArray(PetscOptions,const char[],const char[],char*[],PetscInt*,PetscBool*);

     34: PETSC_EXTERN PetscErrorCode PetscOptionsValidKey(const char[],PetscBool*);
     35: PETSC_EXTERN PetscErrorCode PetscOptionsSetAlias(PetscOptions,const char[],const char[]);
     36: PETSC_EXTERN PetscErrorCode PetscOptionsSetValue(PetscOptions,const char[],const char[]);
     37: PETSC_EXTERN PetscErrorCode PetscOptionsClearValue(PetscOptions,const char[]);
     38: PETSC_EXTERN PetscErrorCode PetscOptionsFindPair(PetscOptions,const char[],const char[],const char*[],PetscBool*);

     40: PETSC_EXTERN PetscErrorCode PetscOptionsGetAll(PetscOptions,char*[]);
     41: PETSC_EXTERN PetscErrorCode PetscOptionsAllUsed(PetscOptions,PetscInt*);
     42: PETSC_EXTERN PetscErrorCode PetscOptionsUsed(PetscOptions,const char[],PetscBool*);
     43: PETSC_EXTERN PetscErrorCode PetscOptionsLeft(PetscOptions);
     44: PETSC_EXTERN PetscErrorCode PetscOptionsLeftGet(PetscOptions,PetscInt*,char***,char***);
     45: PETSC_EXTERN PetscErrorCode PetscOptionsLeftRestore(PetscOptions,PetscInt*,char***,char***);
     46: PETSC_EXTERN PetscErrorCode PetscOptionsView(PetscOptions,PetscViewer);

     48: PETSC_EXTERN PetscErrorCode PetscOptionsReject(PetscOptions,const char[],const char[],const char[]);
     49: PETSC_EXTERN PetscErrorCode PetscOptionsInsert(PetscOptions,int*,char***,const char[]);
     50: PETSC_EXTERN PetscErrorCode PetscOptionsInsertFile(MPI_Comm,PetscOptions,const char[],PetscBool);
     51: #if defined(PETSC_HAVE_YAML)
     52: PETSC_EXTERN PetscErrorCode PetscOptionsInsertFileYAML(MPI_Comm,const char[],PetscBool);
     53: #endif
     54: PETSC_EXTERN PetscErrorCode PetscOptionsInsertString(PetscOptions,const char[]);
     55: #if defined(PETSC_HAVE_YAML)
     56: PETSC_EXTERN PetscErrorCode PetscOptionsInsertStringYAML(PetscOptions,const char[]);
     57: #endif
     58: PETSC_EXTERN PetscErrorCode PetscOptionsClear(PetscOptions);
     59: PETSC_EXTERN PetscErrorCode PetscOptionsPrefixPush(PetscOptions,const char[]);
     60: PETSC_EXTERN PetscErrorCode PetscOptionsPrefixPop(PetscOptions);

     62: PETSC_EXTERN PetscErrorCode PetscOptionsGetenv(MPI_Comm,const char[],char[],size_t,PetscBool*);
     63: PETSC_EXTERN PetscErrorCode PetscOptionsStringToBool(const char[],PetscBool*);
     64: PETSC_EXTERN PetscErrorCode PetscOptionsStringToInt(const char[],PetscInt*);
     65: PETSC_EXTERN PetscErrorCode PetscOptionsStringToReal(const char[],PetscReal*);
     66: PETSC_EXTERN PetscErrorCode PetscOptionsStringToScalar(const char[],PetscScalar*);

     68: PETSC_EXTERN PetscErrorCode PetscOptionsMonitorSet(PetscErrorCode (*)(const char[], const char[], void*), void*, PetscErrorCode (*)(void**));
     69: PETSC_EXTERN PetscErrorCode PetscOptionsMonitorDefault(const char[], const char[], void*);

     71: PETSC_EXTERN PetscErrorCode PetscObjectSetOptions(PetscObject,PetscOptions);
     72: PETSC_EXTERN PetscErrorCode PetscObjectGetOptions(PetscObject,PetscOptions*);

     74: PETSC_EXTERN PetscBool PetscOptionsPublish;

     77: /*
     78:     See manual page for PetscOptionsBegin()

     80:     PetscOptionsItem and PetscOptionsItems are a single option (such as ksp_type) and a collection of such single
     81:   options being handled with a PetscOptionsBegin/End()

     83: */
     84: typedef enum {OPTION_INT,OPTION_BOOL,OPTION_REAL,OPTION_FLIST,OPTION_STRING,OPTION_REAL_ARRAY,OPTION_SCALAR_ARRAY,OPTION_HEAD,OPTION_INT_ARRAY,OPTION_ELIST,OPTION_BOOL_ARRAY,OPTION_STRING_ARRAY} PetscOptionType;
     85: typedef struct _n_PetscOptionItem* PetscOptionItem;
     86: struct _n_PetscOptionItem{
     87:   char              *option;
     88:   char              *text;
     89:   void              *data;         /* used to hold the default value and then any value it is changed to by GUI */
     90:   PetscFunctionList flist;         /* used for available values for PetscOptionsList() */
     91:   const char *const *list;        /* used for available values for PetscOptionsEList() */
     92:   char              nlist;         /* number of entries in list */
     93:   char              *man;
     94:   size_t            arraylength;   /* number of entries in data in the case that it is an array (of PetscInt etc) */
     95:   PetscBool         set;           /* the user has changed this value in the GUI */
     96:   PetscOptionType   type;
     97:   PetscOptionItem   next;
     98:   char              *pman;
     99:   void              *edata;
    100: };

    102: typedef struct _p_PetscOptionItems {
    103:   PetscInt         count;
    104:   PetscOptionItem  next;
    105:   char             *prefix,*pprefix;
    106:   char             *title;
    107:   MPI_Comm         comm;
    108:   PetscBool        printhelp,changedmethod,alreadyprinted;
    109:   PetscObject      object;
    110:   PetscOptions     options;
    111: } PetscOptionItems;

    114: /*MC
    115:     PetscOptionsBegin - Begins a set of queries on the options database that are related and should be
    116:      displayed on the same window of a GUI that allows the user to set the options interactively. Often one should
    117:      use PetscObjectOptionsBegin() rather than this call.

    119:    Synopsis:
    120: #include <petscoptions.h>
    121:     PetscErrorCode PetscOptionsBegin(MPI_Comm comm,const char prefix[],const char title[],const char mansec[])

    123:     Collective

    125:   Input Parameters:
    126: +   comm - communicator that shares GUI
    127: .   prefix - options prefix for all options displayed on window (optional)
    128: .   title - short descriptive text, for example "Krylov Solver Options"
    129: -   mansec - section of manual pages for options, for example KSP (optional)

    131:   Level: intermediate

    133:   Notes:
    134:     The set of queries needs to be ended by a call to PetscOptionsEnd().

    136:     One can add subheadings with PetscOptionsHead().

    138:   Developer Notes:
    139:       PetscOptionsPublish is set in PetscOptionsCheckInitial_Private() with -saws_options. When PetscOptionsPublish is set the
    140:       loop between PetscOptionsBegin() and PetscOptionsEnd() is run THREE times with PetscOptionsPublishCount of values -1,0,1.
    141:       Otherwise the loop is run ONCE with a PetscOptionsPublishCount of 1.
    142: +      \-1 - PetscOptionsInt() etc. just call PetscOptionsGetInt() etc.
    143: .      0  - The GUI objects are created in PetscOptionsInt() etc. and displayed in PetscOptionsEnd() and the options
    144:                database updated with user changes; PetscOptionsGetInt() etc. are also called.
    145: -      1 - PetscOptionsInt() etc. again call PetscOptionsGetInt() etc. (possibly getting new values), in addition the help message and
    146:               default values are printed if -help was given.
    147:       When PetscOptionsObject.changedmethod is set this causes PetscOptionsPublishCount to be reset to -2 (so in the next loop iteration it is -1)
    148:       and the whole process is repeated. This is to handle when, for example, the KSPType is changed thus changing the list of
    149:       options available so they need to be redisplayed so the user can change the. Changing PetscOptionsObjects.changedmethod is never
    150:       currently set.

    152: .seealso: PetscOptionsGetReal(), PetscOptionsHasName(), PetscOptionsGetString(), PetscOptionsGetInt(),
    153:           PetscOptionsGetIntArray(), PetscOptionsGetRealArray(), PetscOptionsBool()
    154:           PetscOptionsInt(), PetscOptionsString(), PetscOptionsReal(), PetscOptionsBool(),
    155:           PetscOptionsName(), PetscOptionsBegin(), PetscOptionsEnd(), PetscOptionsHead(),
    156:           PetscOptionsStringArray(),PetscOptionsRealArray(), PetscOptionsScalar(),
    157:           PetscOptionsBoolGroupBegin(), PetscOptionsBoolGroup(), PetscOptionsBoolGroupEnd(),
    158:           PetscOptionsFList(), PetscOptionsEList(), PetscObjectOptionsBegin()

    160: M*/
    161: #define    PetscOptionsBegin(comm,prefix,mess,sec) 0; do {\
    162:              PetscOptionItems PetscOptionsObjectBase;\
    163:              PetscOptionItems *PetscOptionsObject = &PetscOptionsObjectBase; \
    164:              PetscMemzero(PetscOptionsObject,sizeof(PetscOptionItems)); \
    165:              for (PetscOptionsObject->count=(PetscOptionsPublish?-1:1); PetscOptionsObject->count<2; PetscOptionsObject->count++) {\
    166:              PetscErrorCode _5_PetscOptionsBegin_Private(PetscOptionsObject,comm,prefix,mess,sec);CHKERRQ(_5_ierr)

    168: /*MC
    169:     PetscObjectOptionsBegin - Begins a set of queries on the options database that are related and should be
    170:      displayed on the same window of a GUI that allows the user to set the options interactively.

    172:    Synopsis:
    173: #include <petscoptions.h>
    174:     PetscErrorCode PetscObjectOptionsBegin(PetscObject obj)

    176:     Collective on obj

    178:   Input Parameters:
    179: .   obj - object to set options for

    181:   Level: intermediate

    183:   Notes:
    184:     Needs to be ended by a call the PetscOptionsEnd()
    185:          Can add subheadings with PetscOptionsHead()

    187: .seealso: PetscOptionsGetReal(), PetscOptionsHasName(), PetscOptionsGetString(), PetscOptionsGetInt(),
    188:           PetscOptionsGetIntArray(), PetscOptionsGetRealArray(), PetscOptionsBool()
    189:           PetscOptionsInt(), PetscOptionsString(), PetscOptionsReal(), PetscOptionsBool(),
    190:           PetscOptionsName(), PetscOptionsBegin(), PetscOptionsEnd(), PetscOptionsHead(),
    191:           PetscOptionsStringArray(),PetscOptionsRealArray(), PetscOptionsScalar(),
    192:           PetscOptionsBoolGroupBegin(), PetscOptionsBoolGroup(), PetscOptionsBoolGroupEnd(),
    193:           PetscOptionsFList(), PetscOptionsEList()

    195: M*/
    196: #define PetscObjectOptionsBegin(obj) 0; do {                            \
    197:              PetscOptionItems PetscOptionsObjectBase;\
    198:              PetscOptionItems *PetscOptionsObject = &PetscOptionsObjectBase; \
    199:              PetscOptionsObject->options = ((PetscObject)obj)->options; \
    200:              for (PetscOptionsObject->count=(PetscOptionsPublish?-1:1); PetscOptionsObject->count<2; PetscOptionsObject->count++) {\
    201:              PetscErrorCode _5_PetscObjectOptionsBegin_Private(PetscOptionsObject,obj);CHKERRQ(_5_ierr)

    203: /*MC
    204:     PetscOptionsEnd - Ends a set of queries on the options database that are related and should be
    205:      displayed on the same window of a GUI that allows the user to set the options interactively.

    207:     Collective on the comm used in PetscOptionsBegin() or obj used in PetscObjectOptionsBegin()

    209:    Synopsis:
    210: #include <petscoptions.h>
    211:      PetscErrorCode PetscOptionsEnd(void)

    213:   Level: intermediate

    215:   Notes:
    216:     Needs to be preceded by a call to PetscOptionsBegin() or PetscObjectOptionsBegin()

    218: .seealso: PetscOptionsGetReal(), PetscOptionsHasName(), PetscOptionsGetString(), PetscOptionsGetInt(),
    219:           PetscOptionsGetIntArray(), PetscOptionsGetRealArray(), PetscOptionsBool()
    220:           PetscOptionsInt(), PetscOptionsString(), PetscOptionsReal(), PetscOptionsBool(),
    221:           PetscOptionsName(), PetscOptionsBegin(), PetscOptionsEnd(), PetscOptionsHead(),
    222:           PetscOptionsStringArray(),PetscOptionsRealArray(), PetscOptionsScalar(),
    223:           PetscOptionsBoolGroupBegin(), PetscOptionsBoolGroup(), PetscOptionsBoolGroupEnd(),
    224:           PetscOptionsFList(), PetscOptionsEList(), PetscObjectOptionsBegin()

    226: M*/
    227: #define    PetscOptionsEnd() _5_PetscOptionsEnd_Private(PetscOptionsObject);CHKERRQ(_5_ierr);}} while (0)

    229: PETSC_EXTERN PetscErrorCode PetscOptionsBegin_Private(PetscOptionItems *,MPI_Comm,const char[],const char[],const char[]);
    230: PETSC_EXTERN PetscErrorCode PetscObjectOptionsBegin_Private(PetscOptionItems *,PetscObject);
    231: PETSC_EXTERN PetscErrorCode PetscOptionsEnd_Private(PetscOptionItems *);
    232: PETSC_EXTERN PetscErrorCode PetscOptionsHead(PetscOptionItems *,const char[]);

    234: /*MC
    235:      PetscOptionsTail - Ends a section of options begun with PetscOptionsHead()
    236:             See, for example, KSPSetFromOptions_GMRES().

    238:     Collective on the comm used in PetscOptionsBegin() or obj used in PetscObjectOptionsBegin()

    240:    Synopsis:
    241: #include <petscoptions.h>
    242:      PetscErrorCode PetscOptionsTail(void)

    244:   Level: intermediate

    246:    Notes:
    247:     Must be between a PetscOptionsBegin()/PetscObjectOptionsBegin() and a PetscOptionsEnd()

    249:           Must be preceded by a call to PetscOptionsHead() in the same function.

    251:           This needs to be used only if the code below PetscOptionsTail() can be run ONLY once.
    252:       See, for example, PCSetFromOptions_Composite(). This is a return(0) in it for early exit
    253:       from the function.

    255:           This is only for use with the PETSc options GUI

    257: .seealso: PetscOptionsGetInt(), PetscOptionsGetReal(),
    258:            PetscOptionsHasName(), PetscOptionsGetIntArray(), PetscOptionsGetRealArray(), PetscOptionsBool(),
    259:           PetscOptionsName(), PetscOptionsBegin(), PetscOptionsEnd(), PetscOptionsHead(),
    260:           PetscOptionsStringArray(),PetscOptionsRealArray(), PetscOptionsScalar(),
    261:           PetscOptionsBoolGroupBegin(), PetscOptionsBoolGroup(), PetscOptionsBoolGroupEnd(),
    262:           PetscOptionsFList(), PetscOptionsEList(), PetscOptionsEnum()
    263: M*/
    264: #define    PetscOptionsTail() 0; do {if (PetscOptionsObject->count != 1) return(0);} while (0)

    266: #define PetscOptionsEnum(a,b,c,d,e,f,g) PetscOptionsEnum_Private(PetscOptionsObject,a,b,c,d,e,f,g)
    267: #define PetscOptionsInt(a,b,c,d,e,f) PetscOptionsInt_Private(PetscOptionsObject,a,b,c,d,e,f,PETSC_MIN_INT,PETSC_MAX_INT)
    268: #define PetscOptionsBoundedInt(a,b,c,d,e,f,g) PetscOptionsInt_Private(PetscOptionsObject,a,b,c,d,e,f,g,PETSC_MAX_INT)
    269: #define PetscOptionsRangeInt(a,b,c,d,e,f,g,h) PetscOptionsInt_Private(PetscOptionsObject,a,b,c,d,e,f,g,h)
    270: #define PetscOptionsReal(a,b,c,d,e,f) PetscOptionsReal_Private(PetscOptionsObject,a,b,c,d,e,f)
    271: #define PetscOptionsScalar(a,b,c,d,e,f) PetscOptionsScalar_Private(PetscOptionsObject,a,b,c,d,e,f)
    272: #define PetscOptionsName(a,b,c,d) PetscOptionsName_Private(PetscOptionsObject,a,b,c,d)
    273: #define PetscOptionsString(a,b,c,d,e,f,g) PetscOptionsString_Private(PetscOptionsObject,a,b,c,d,e,f,g)
    274: #define PetscOptionsBool(a,b,c,d,e,f) PetscOptionsBool_Private(PetscOptionsObject,a,b,c,d,e,f)
    275: #define PetscOptionsBoolGroupBegin(a,b,c,d) PetscOptionsBoolGroupBegin_Private(PetscOptionsObject,a,b,c,d)
    276: #define PetscOptionsBoolGroup(a,b,c,d) PetscOptionsBoolGroup_Private(PetscOptionsObject,a,b,c,d)
    277: #define PetscOptionsBoolGroupEnd(a,b,c,d) PetscOptionsBoolGroupEnd_Private(PetscOptionsObject,a,b,c,d)
    278: #define PetscOptionsFList(a,b,c,d,e,f,g,h) PetscOptionsFList_Private(PetscOptionsObject,a,b,c,d,e,f,g,h)
    279: #define PetscOptionsEList(a,b,c,d,e,f,g,h) PetscOptionsEList_Private(PetscOptionsObject,a,b,c,d,e,f,g,h)
    280: #define PetscOptionsRealArray(a,b,c,d,e,f) PetscOptionsRealArray_Private(PetscOptionsObject,a,b,c,d,e,f)
    281: #define PetscOptionsScalarArray(a,b,c,d,e,f) PetscOptionsScalarArray_Private(PetscOptionsObject,a,b,c,d,e,f)
    282: #define PetscOptionsIntArray(a,b,c,d,e,f) PetscOptionsIntArray_Private(PetscOptionsObject,a,b,c,d,e,f)
    283: #define PetscOptionsStringArray(a,b,c,d,e,f) PetscOptionsStringArray_Private(PetscOptionsObject,a,b,c,d,e,f)
    284: #define PetscOptionsBoolArray(a,b,c,d,e,f) PetscOptionsBoolArray_Private(PetscOptionsObject,a,b,c,d,e,f)
    285: #define PetscOptionsEnumArray(a,b,c,d,e,f,g) PetscOptionsEnumArray_Private(PetscOptionsObject,a,b,c,d,e,f,g)
    286: #define PetscOptionsDeprecated(a,b,c,d) PetscOptionsDeprecated_Private(PetscOptionsObject,a,b,c,d)
    287: #define PetscOptionsDeprecatedNoObject(a,b,c,d) PetscOptionsDeprecated_Private(NULL,a,b,c,d)

    290: PETSC_EXTERN PetscErrorCode PetscOptionsEnum_Private(PetscOptionItems*,const char[],const char[],const char[],const char *const*,PetscEnum,PetscEnum*,PetscBool*);
    291: PETSC_EXTERN PetscErrorCode PetscOptionsInt_Private(PetscOptionItems*,const char[],const char[],const char[],PetscInt,PetscInt*,PetscBool*,PetscInt,PetscInt);
    292: PETSC_EXTERN PetscErrorCode PetscOptionsReal_Private(PetscOptionItems*,const char[],const char[],const char[],PetscReal,PetscReal*,PetscBool*);
    293: PETSC_EXTERN PetscErrorCode PetscOptionsScalar_Private(PetscOptionItems*,const char[],const char[],const char[],PetscScalar,PetscScalar*,PetscBool*);
    294: PETSC_EXTERN PetscErrorCode PetscOptionsName_Private(PetscOptionItems*,const char[],const char[],const char[],PetscBool*);
    295: PETSC_EXTERN PetscErrorCode PetscOptionsString_Private(PetscOptionItems*,const char[],const char[],const char[],const char[],char*,size_t,PetscBool*);
    296: PETSC_EXTERN PetscErrorCode PetscOptionsBool_Private(PetscOptionItems*,const char[],const char[],const char[],PetscBool ,PetscBool*,PetscBool*);
    297: PETSC_EXTERN PetscErrorCode PetscOptionsBoolGroupBegin_Private(PetscOptionItems*,const char[],const char[],const char[],PetscBool*);
    298: PETSC_EXTERN PetscErrorCode PetscOptionsBoolGroup_Private(PetscOptionItems*,const char[],const char[],const char[],PetscBool*);
    299: PETSC_EXTERN PetscErrorCode PetscOptionsBoolGroupEnd_Private(PetscOptionItems*,const char[],const char[],const char[],PetscBool*);
    300: PETSC_EXTERN PetscErrorCode PetscOptionsFList_Private(PetscOptionItems*,const char[],const char[],const char[],PetscFunctionList,const char[],char[],size_t,PetscBool*);
    301: PETSC_EXTERN PetscErrorCode PetscOptionsEList_Private(PetscOptionItems*,const char[],const char[],const char[],const char*const*,PetscInt,const char[],PetscInt*,PetscBool*);
    302: PETSC_EXTERN PetscErrorCode PetscOptionsRealArray_Private(PetscOptionItems*,const char[],const char[],const char[],PetscReal[],PetscInt*,PetscBool*);
    303: PETSC_EXTERN PetscErrorCode PetscOptionsScalarArray_Private(PetscOptionItems*,const char[],const char[],const char[],PetscScalar[],PetscInt*,PetscBool*);
    304: PETSC_EXTERN PetscErrorCode PetscOptionsIntArray_Private(PetscOptionItems*,const char[],const char[],const char[],PetscInt[],PetscInt*,PetscBool*);
    305: PETSC_EXTERN PetscErrorCode PetscOptionsStringArray_Private(PetscOptionItems*,const char[],const char[],const char[],char*[],PetscInt*,PetscBool*);
    306: PETSC_EXTERN PetscErrorCode PetscOptionsBoolArray_Private(PetscOptionItems*,const char[],const char[],const char[],PetscBool [],PetscInt*,PetscBool*);
    307: PETSC_EXTERN PetscErrorCode PetscOptionsEnumArray_Private(PetscOptionItems*,const char[],const char[],const char[],const char *const*,PetscEnum[],PetscInt*,PetscBool*);
    308: PETSC_EXTERN PetscErrorCode PetscOptionsDeprecated_Private(PetscOptionItems*,const char[],const char[],const char[],const char[]);

    310: PETSC_EXTERN PetscErrorCode PetscOptionsSAWsDestroy(void);

    312: PETSC_EXTERN PetscErrorCode PetscObjectAddOptionsHandler(PetscObject,PetscErrorCode (*)(PetscOptionItems*,PetscObject,void*),PetscErrorCode (*)(PetscObject,void*),void*);
    313: PETSC_EXTERN PetscErrorCode PetscObjectProcessOptionsHandlers(PetscOptionItems*,PetscObject);
    314: PETSC_EXTERN PetscErrorCode PetscObjectDestroyOptionsHandlers(PetscObject);

    316: #endif