Actual source code: petscoptions.h
petsc-3.14.6 2021-03-30
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