summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-01-29 19:54:26 +0100
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-01-29 19:54:26 +0100
commit1373211465c34015ee900e097aa87fbffb401187 (patch)
tree8ffa1f9296097c91627c05874fcf4559cac45de7 /src/cli/parameters.h
parentdf3657b2a99ef20da99ac3c6c02f43cc23e70fca (diff)
Trying out ACSL, continuing implementation.
Diffstat (limited to 'src/cli/parameters.h')
-rw-r--r--src/cli/parameters.h18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/cli/parameters.h b/src/cli/parameters.h
deleted file mode 100644
index 7927ef7..0000000
--- a/src/cli/parameters.h
+++ /dev/null
@@ -1,18 +0,0 @@
-#ifndef _ZoO_CLI_PARAMETERS_H_
-#define _ZoO_CLI_PARAMETERS_H_
-
-#include "parameters_types.h"
-
-char * ZoO_parameters_get_session_name
-(
- const struct ZoO_parameters param [const restrict static 1]
-);
-
-enum ZoO_invocation_objective ZoO_parameters_initialize
-(
- struct ZoO_parameters param [const restrict static 1],
- int const argc,
- const char * argv [const static argc]
-);
-
-#endif