diff options
| author | Tim King <taking@cs.nyu.edu> | 2011-03-30 17:32:50 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2011-03-30 17:32:50 +0000 |
| commit | eb058369e08b17c51d0267c87890edd8c41255c2 (patch) | |
| tree | 5fb3def63313075cdbcd592151bee1fbb24f2db3 /src/util/options.cpp | |
| parent | 6495988f28ad6c9b318fc506e5d85d8613b03640 (diff) | |
Moved the constructor for Options out of the header and into the cpp. For people who fiddle with default values set by the Options constructor, this will require significantly less recompiling.
Diffstat (limited to 'src/util/options.cpp')
| -rw-r--r-- | src/util/options.cpp | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/src/util/options.cpp b/src/util/options.cpp index 94d479166..1b73361c3 100644 --- a/src/util/options.cpp +++ b/src/util/options.cpp @@ -40,6 +40,45 @@ using namespace CVC4; namespace CVC4 { +#ifdef CVC4_DEBUG +# define USE_EARLY_TYPE_CHECKING_BY_DEFAULT true +#else /* CVC4_DEBUG */ +# define USE_EARLY_TYPE_CHECKING_BY_DEFAULT false +#endif /* CVC4_DEBUG */ + +#if defined(CVC4_MUZZLED) || defined(CVC4_COMPETITION_MODE) +# define DO_SEMANTIC_CHECKS_BY_DEFAULT false +#else /* CVC4_MUZZLED || CVC4_COMPETITION_MODE */ +# define DO_SEMANTIC_CHECKS_BY_DEFAULT true +#endif /* CVC4_MUZZLED || CVC4_COMPETITION_MODE */ + +Options::Options() : + binary_name(), + statistics(false), + in(&std::cin), + out(&std::cout), + err(&std::cerr), + verbosity(0), + inputLanguage(language::input::LANG_AUTO), + uf_implementation(MORGAN), + parseOnly(false), + semanticChecks(DO_SEMANTIC_CHECKS_BY_DEFAULT), + theoryRegistration(true), + memoryMap(false), + strictParsing(false), + lazyDefinitionExpansion(false), + interactive(false), + interactiveSetByUser(false), + segvNoSpin(false), + produceModels(false), + produceAssignments(false), + typeChecking(DO_SEMANTIC_CHECKS_BY_DEFAULT), + earlyTypeChecking(USE_EARLY_TYPE_CHECKING_BY_DEFAULT), + incrementalSolving(false), + pivotRule(MINIMUM) +{ +} + static const string optionsDescription = "\ --lang | -L force input language (default is `auto'; see --lang help)\n\ --version | -V identify this CVC4 binary\n\ @@ -447,4 +486,8 @@ throw(OptionException) { bool Options::rewriteArithEqualities = false; + +#undef USE_EARLY_TYPE_CHECKING_BY_DEFAULT +#undef DO_SEMANTIC_CHECKS_BY_DEFAULT + }/* CVC4 namespace */ |