/******************************************************************************

 * Top contributors (to current version):

 *   Mathias Preiner, Aina Niemetz

 *

 * This file is part of the cvc5 project.

 *

 * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS

 * in the top-level source directory and their institutional affiliations.

 * All rights reserved.  See the file COPYING in the top-level source

 * directory for licensing information.

 * ****************************************************************************

 *

 * Contains code for handling command-line options.

 *

 * For each <module>_options.toml configuration file, mkoptions.py

 * expands this template and generates a <module>_options.h file.

 */

#include "cvc5_public.h"

#ifndef CVC5__OPTIONS__DRIVER_H

#define CVC5__OPTIONS__DRIVER_H

#include "options/options.h"

// clang-format off

// clang-format on

namespace cvc5 {

namespace options {

// clang-format off

// clang-format on

#if defined(CVC5_MUZZLED) || defined(CVC5_COMPETITION_MODE)

#  define DO_SEMANTIC_CHECKS_BY_DEFAULT false

#else /* CVC5_MUZZLED || CVC5_COMPETITION_MODE */

#  define DO_SEMANTIC_CHECKS_BY_DEFAULT true

#endif /* CVC5_MUZZLED || CVC5_COMPETITION_MODE */

{

// clang-format off

  bool dumpInstantiations = false;

  bool dumpInstantiationsWasSetByUser = false;

  bool dumpModels = false;

  bool dumpModelsWasSetByUser = false;

  bool dumpProofs = false;

  bool dumpProofsWasSetByUser = false;

  bool dumpUnsatCores = false;

  bool dumpUnsatCoresWasSetByUser = false;

  bool dumpUnsatCoresFull = false;

  bool dumpUnsatCoresFullWasSetByUser = false;

  bool earlyExit = true;

  bool earlyExitWasSetByUser = false;

  bool forceNoLimitCpuWhileDump = false;

  bool forceNoLimitCpuWhileDumpWasSetByUser = false;

  bool help;

  bool helpWasSetByUser = false;

  bool interactive;

  bool interactiveWasSetByUser = false;

  bool interactivePrompt = true;

  bool interactivePromptWasSetByUser = false;

  uint64_t seed = 0;

  bool seedWasSetByUser = false;

  bool segvSpin = false;

  bool segvSpinWasSetByUser = false;

  bool version;

  bool versionWasSetByUser = false;

// clang-format on

};

#undef DO_SEMANTIC_CHECKS_BY_DEFAULT

// clang-format off

extern struct dumpInstantiations__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local dumpInstantiations;

extern struct dumpModels__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local dumpModels;

extern struct dumpProofs__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local dumpProofs;

extern struct dumpUnsatCores__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local dumpUnsatCores;

extern struct dumpUnsatCoresFull__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local dumpUnsatCoresFull;

extern struct earlyExit__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local earlyExit;

extern struct forceNoLimitCpuWhileDump__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local forceNoLimitCpuWhileDump;

extern struct help__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local help;

extern struct interactive__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local interactive;

extern struct interactivePrompt__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local interactivePrompt;

extern struct seed__option_t

{

  typedef uint64_t type;

  type operator()() const;

} thread_local seed;

extern struct segvSpin__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local segvSpin;

extern struct version__option_t

{

  typedef bool type;

  type operator()() const;

} thread_local version;

// clang-format on

namespace driver

{

// clang-format off

static constexpr const char* dumpInstantiations__name = "dump-instantiations";

static constexpr const char* dumpModels__name = "dump-models";

static constexpr const char* dumpProofs__name = "dump-proofs";

static constexpr const char* dumpUnsatCores__name = "dump-unsat-cores";

static constexpr const char* dumpUnsatCoresFull__name = "dump-unsat-cores-full";

static constexpr const char* earlyExit__name = "early-exit";

static constexpr const char* forceNoLimitCpuWhileDump__name = "force-no-limit-cpu-while-dump";

static constexpr const char* help__name = "help";

static constexpr const char* interactive__name = "interactive";

static constexpr const char* interactivePrompt__name = "interactive-prompt";

static constexpr const char* seed__name = "seed";

static constexpr const char* segvSpin__name = "segv-spin";

static constexpr const char* version__name = "version";

// clang-format on

}

}  // namespace options

// clang-format off

// clang-format on

namespace options {

// clang-format off

inline bool dumpInstantiations__option_t::operator()() const

{ return Options::current().driver.dumpInstantiations; }

inline bool earlyExit__option_t::operator()() const

{ return Options::current().driver.earlyExit; }

inline bool forceNoLimitCpuWhileDump__option_t::operator()() const

{ return Options::current().driver.forceNoLimitCpuWhileDump; }

inline bool help__option_t::operator()() const

{ return Options::current().driver.help; }

inline bool interactive__option_t::operator()() const

{ return Options::current().driver.interactive; }

inline bool interactivePrompt__option_t::operator()() const

{ return Options::current().driver.interactivePrompt; }

inline uint64_t seed__option_t::operator()() const

{ return Options::current().driver.seed; }

inline bool segvSpin__option_t::operator()() const

{ return Options::current().driver.segvSpin; }

inline bool version__option_t::operator()() const

{ return Options::current().driver.version; }

// clang-format on

namespace driver

{

// clang-format off

void setDefaultDumpInstantiations(Options& opts, bool value);

void setDefaultDumpModels(Options& opts, bool value);

void setDefaultDumpProofs(Options& opts, bool value);

void setDefaultDumpUnsatCores(Options& opts, bool value);

void setDefaultDumpUnsatCoresFull(Options& opts, bool value);

void setDefaultEarlyExit(Options& opts, bool value);

void setDefaultForceNoLimitCpuWhileDump(Options& opts, bool value);

void setDefaultHelp(Options& opts, bool value);

void setDefaultInteractive(Options& opts, bool value);

void setDefaultInteractivePrompt(Options& opts, bool value);

void setDefaultSeed(Options& opts, uint64_t value);

void setDefaultSegvSpin(Options& opts, bool value);

void setDefaultVersion(Options& opts, bool value);

// clang-format on

}

}  // namespace options

}  // namespace cvc5

#endif /* CVC5__OPTIONS__DRIVER_H */