#include <clasp/clasp_facade.h>#include <string>#include <iosfwd>#include <clasp/cli/clasp_cli_configs.inl>#include <clasp/cli/clasp_cli_options.inl>
Include dependency graph for clasp_options.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | Clasp::Cli::ClaspCliConfig |
| class | Clasp::Cli::ConfigIter |
| struct | Clasp::Cli::ClaspCliConfig::RawConfig |
| struct | Clasp::Cli::ClaspCliConfig::ScopedSet |
Namespaces | |
| namespace | Clasp |
| namespace | Clasp::Cli |
| namespace | ProgramOptions |
Defines | |
| #define | CLASP_ASP_OPTIONS option_category_generator, |
| #define | CLASP_CLI_AUX_CONFIGS config_default_max_value, |
| #define | CLASP_CLI_DEFAULT_CONFIGS config_default = 0, |
| #define | CLASP_CONTEXT_OPTIONS option_category_context, |
| #define | CLASP_ENUM_OPTIONS |
| #define | CLASP_SEARCH_BASIC_OPTIONS option_category_search, |
| #define | CLASP_SEARCH_REDUCE_OPTIONS |
| #define | CLASP_SEARCH_RESTART_OPTIONS |
| #define | CLASP_SOLVE_OPTIONS |
| #define | CLASP_SOLVER_BASIC_OPTIONS option_category_solver, |
| #define | CLASP_SOLVER_LOOKBACK_OPTIONS |
| #define | CONFIG(k, g, c) config_##k, |
| #define | GROUP_BEGIN(X) X |
| #define | OPTION(n, k,...) opt_##k, |
Enumerations | |
| enum | Clasp::Cli::ConfigKey |
| Valid configuration keys. More... | |
| enum | Clasp::Cli::OptionKey |
| Valid option keys. More... | |
Functions | |
| void | Clasp::Cli::validate (const char *ctx, const SolverParams &solver, const SolveParams &search) |
Define Documentation
| #define CLASP_ASP_OPTIONS option_category_generator, |
Definition at line 63 of file clasp_options.h.
| #define CLASP_CLI_AUX_CONFIGS config_default_max_value, |
Definition at line 42 of file clasp_options.h.
| #define CLASP_CLI_DEFAULT_CONFIGS config_default = 0, |
Definition at line 41 of file clasp_options.h.
| #define CLASP_CONTEXT_OPTIONS option_category_context, |
Definition at line 62 of file clasp_options.h.
| #define CLASP_ENUM_OPTIONS |
Definition at line 64 of file clasp_options.h.
| #define CLASP_SEARCH_BASIC_OPTIONS option_category_search, |
Definition at line 59 of file clasp_options.h.
| #define CLASP_SEARCH_REDUCE_OPTIONS |
Definition at line 61 of file clasp_options.h.
| #define CLASP_SEARCH_RESTART_OPTIONS |
Definition at line 60 of file clasp_options.h.
| #define CLASP_SOLVE_OPTIONS |
Definition at line 65 of file clasp_options.h.
| #define CLASP_SOLVER_BASIC_OPTIONS option_category_solver, |
Definition at line 57 of file clasp_options.h.
| #define CLASP_SOLVER_LOOKBACK_OPTIONS |
Definition at line 58 of file clasp_options.h.
| #define CONFIG | ( | k, | |
| g, | |||
| c | |||
| ) | config_##k, |
Definition at line 40 of file clasp_options.h.
| #define GROUP_BEGIN | ( | X | ) | X |
Definition at line 56 of file clasp_options.h.
| #define OPTION | ( | n, | |
| k, | |||
| ... | |||
| ) | opt_##k, |
Definition at line 55 of file clasp_options.h.