- o -

• only_reason : Clasp::DefaultUnfoundedCheck
• OPB : Clasp::Problem_t
• opt_configuration : Clasp::Cli::ClaspCliConfig
• opt_dec : Clasp::SolverStrategies
• opt_def : Clasp::SolverStrategies
• opt_hier : Clasp::SolverStrategies
• opt_inc : Clasp::SolverStrategies
• opt_model : Clasp::SolverStrategies
• opt_sign : Clasp::SolverStrategies
• opt_tester : Clasp::Cli::ClaspCliConfig
• opt_unsat : Clasp::SolverStrategies
• opt_unsat_pre : Clasp::SolverStrategies
• optimize : Clasp::MinimizeMode_t
• out_comp : Clasp::Cli::ClaspAppOptions
• out_def : Clasp::Cli::ClaspAppOptions
• out_json : Clasp::Cli::ClaspAppOptions
• out_none : Clasp::Cli::ClaspAppOptions