diff options
| -rw-r--r-- | src/include/cctk_Parameter.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/include/cctk_Parameter.h b/src/include/cctk_Parameter.h index 03b47769..e0c68857 100644 --- a/src/include/cctk_Parameter.h +++ b/src/include/cctk_Parameter.h @@ -136,6 +136,11 @@ int CCTK_ParameterWalk(int first, /* Get first parameter or not */ const cParamData *CCTK_ParameterData (const char *name, const char *thorn); + /* Return number of times a parameter has been set */ +int CCTK_ParameterQueryTimesSet(const char *name, + const char *thorn); + + #ifdef __cplusplus } #endif |