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

 * 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_private.h"

#ifndef CVC5__OPTIONS__DRIVER_H

#define CVC5__OPTIONS__DRIVER_H

#include "options/options.h"

// clang-format off

// clang-format on

namespace cvc5::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 dumpDifficulty = false;

  bool dumpDifficultyWasSetByUser = false;

  bool dumpInstantiations = false;

  bool dumpInstantiationsWasSetByUser = false;

  bool dumpInstantiationsDebug = false;

  bool dumpInstantiationsDebugWasSetByUser = false;

  bool dumpModels = false;

  bool dumpModelsWasSetByUser = false;

  bool dumpProofs = false;

  bool dumpProofsWasSetByUser = false;

  bool dumpUnsatCores = false;

  bool dumpUnsatCoresWasSetByUser = false;

  bool earlyExit = true;

  bool earlyExitWasSetByUser = false;

  std::string filename;

  bool filenameWasSetByUser = false;

  bool forceNoLimitCpuWhileDump = false;

  bool forceNoLimitCpuWhileDumpWasSetByUser = false;

  bool help;

  bool helpWasSetByUser = false;

  bool interactive;

  bool interactiveWasSetByUser = false;

  bool printUnsatCoresFull = false;

  bool printUnsatCoresFullWasSetByUser = false;

  uint64_t seed = 0;

  bool seedWasSetByUser = false;

  bool segvSpin = false;

  bool segvSpinWasSetByUser = false;

// clang-format on

};

#undef DO_SEMANTIC_CHECKS_BY_DEFAULT

// clang-format off

inline bool dumpDifficulty() { return Options::current().driver.dumpDifficulty; }

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

inline bool dumpModels() { return Options::current().driver.dumpModels; }

inline bool dumpProofs() { return Options::current().driver.dumpProofs; }

inline bool dumpUnsatCores() { return Options::current().driver.dumpUnsatCores; }

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

inline std::string filename() { return Options::current().driver.filename; }

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

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

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

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

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

// clang-format on

}  // namespace cvc5::options

#endif /* CVC5__OPTIONS__DRIVER_H */