1 /* $Id: options.h,v 1.29 1998/07/23 22:50:59 bsmith Exp balay $ */ 2 /* 3 Routines to determine options set in the options database. 4 */ 5 #if !defined(__OPTIONS_H) 6 #define __OPTIONS_H 7 #include "petsc.h" 8 9 extern int OptionsHasName(const char[],const char[],int*); 10 extern int OptionsGetInt(const char[],const char [],int *,int*); 11 extern int OptionsGetDouble(const char[],const char[],double *,int*); 12 extern int OptionsGetScalar(const char[],const char[],Scalar *,int*); 13 extern int OptionsGetIntArray(const char[],const char[],int[],int *,int*); 14 extern int OptionsGetDoubleArray(const char[],const char[],double[],int *,int*); 15 extern int OptionsGetString(const char[],const char[],char[],int,int*); 16 extern int OptionsGetStringArray(const char[],const char[],char**,int*,int*); 17 18 extern int OptionsSetAlias(const char[],const char[]); 19 extern int OptionsSetValue(const char[],const char[]); 20 extern int OptionsClearValue(const char[]); 21 22 extern int OptionsAllUsed(void); 23 extern int OptionsLeft(void); 24 extern int OptionsPrint(FILE *); 25 26 extern int OptionsCreate(void); 27 extern int OptionsInsert(int *,char ***,const char[]); 28 extern int OptionsInsertFile(const char[]); 29 extern int OptionsDestroy(void); 30 31 extern int OptionsReject(const char[],const char[]); 32 extern int OptionsGetAll(char*[]); 33 34 #endif 35