diff options
Diffstat (limited to 'src/options/options_public.h')
-rw-r--r-- | src/options/options_public.h | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/options/options_public.h b/src/options/options_public.h index a6d93cae7..9b549601f 100644 --- a/src/options/options_public.h +++ b/src/options/options_public.h @@ -37,25 +37,18 @@ bool getDumpInstantiations(const Options& opts) CVC5_EXPORT; bool getDumpModels(const Options& opts) CVC5_EXPORT; bool getDumpProofs(const Options& opts) CVC5_EXPORT; bool getDumpUnsatCores(const Options& opts) CVC5_EXPORT; -bool getEarlyExit(const Options& opts) CVC5_EXPORT; bool getFilesystemAccess(const Options& opts) CVC5_EXPORT; bool getForceNoLimitCpuWhileDump(const Options& opts) CVC5_EXPORT; -bool getHelp(const Options& opts) CVC5_EXPORT; bool getIncrementalSolving(const Options& opts) CVC5_EXPORT; -bool getInteractive(const Options& opts) CVC5_EXPORT; -bool getInteractivePrompt(const Options& opts) CVC5_EXPORT; bool getLanguageHelp(const Options& opts) CVC5_EXPORT; bool getMemoryMap(const Options& opts) CVC5_EXPORT; bool getParseOnly(const Options& opts) CVC5_EXPORT; bool getProduceModels(const Options& opts) CVC5_EXPORT; -bool getSegvSpin(const Options& opts) CVC5_EXPORT; bool getSemanticChecks(const Options& opts) CVC5_EXPORT; bool getStatistics(const Options& opts) CVC5_EXPORT; bool getStatsEveryQuery(const Options& opts) CVC5_EXPORT; bool getStrictParsing(const Options& opts) CVC5_EXPORT; -int32_t getTearDownIncremental(const Options& opts) CVC5_EXPORT; uint64_t getCumulativeTimeLimit(const Options& opts) CVC5_EXPORT; -bool getVersion(const Options& opts) CVC5_EXPORT; const std::string& getForceLogicString(const Options& opts) CVC5_EXPORT; int32_t getVerbosity(const Options& opts) CVC5_EXPORT; @@ -65,7 +58,6 @@ std::ostream* getOut(const Options& opts) CVC5_EXPORT; const std::string& getBinaryName(const Options& opts) CVC5_EXPORT; void setInputLanguage(InputLanguage val, Options& opts) CVC5_EXPORT; -void setInteractive(bool val, Options& opts) CVC5_EXPORT; void setOut(std::ostream* val, Options& opts) CVC5_EXPORT; void setOutputLanguage(OutputLanguage val, Options& opts) CVC5_EXPORT; |