1 files changed, 23 insertions, 0 deletions
diff --git a/src/parameters/parameters.h b/src/parameters/parameters.h
new file mode 100644
index 0000000..1cb9fd8
--- /dev/null
+++ b/src/parameters/parameters.h
@@ -0,0 +1,23 @@
+#ifndef _JH_CLI_PARAMETERS_H_
+#define _JH_CLI_PARAMETERS_H_
+
+#include "parameters_types.h"
+
+const char * JH_parameters_get_session_name
+(
+   const struct JH_parameters param [const restrict static 1]
+);
+
+JH_index JH_parameters_get_markov_order
+(
+   const struct JH_parameters param [const restrict static 1]
+);
+
+enum JH_invocation_objective JH_parameters_initialize
+(
+   struct JH_parameters param [const restrict static 1],
+   int const argc,
+   const char * argv [const static argc]
+);
+
+#endif