|
| Options () |
|
| Options (const Options &options) |
|
| ~Options () |
|
template<class T > |
void | set (T, const typename T::type &) |
| Set the value of the given option. More...
|
|
template<class T > |
const T::type & | operator[] (T) const |
| Get the value of the given option. More...
|
|
template<class T > |
bool | wasSetByUser (T) const |
| Returns true iff the value of the given option was set by the user via a command-line option or SmtEngine::setOption(). More...
|
|
std::string | getDescription () const |
| Get a description of the command-line flags accepted by parseOptions. More...
|
|
std::vector< std::string > | parseOptions (int argc, char *argv[]) throw (OptionException) |
| Initialize the options based on the given command-line arguments. More...
|
|
SExpr | getOptions () const throw () |
| Get the setting for all options. More...
|
|
template<> |
const
options::version__option_t::type & | operator[] (options::version__option_t) const |
|
template<> |
bool | wasSetByUser (options::version__option_t) const |
|
template<> |
void | assignBool (options::version__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::help__option_t::type & | operator[] (options::help__option_t) const |
|
template<> |
bool | wasSetByUser (options::help__option_t) const |
|
template<> |
void | assignBool (options::help__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::earlyExit__option_t::type & | operator[] (options::earlyExit__option_t) const |
|
template<> |
bool | wasSetByUser (options::earlyExit__option_t) const |
|
template<> |
void | assignBool (options::earlyExit__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::threads__option_t::type & | operator[] (options::threads__option_t) const |
|
template<> |
bool | wasSetByUser (options::threads__option_t) const |
|
template<> |
void | assign (options::threads__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::threadArgv__option_t, const options::threadArgv__option_t::type &x) |
|
template<> |
const
options::threadArgv__option_t::type & | operator[] (options::threadArgv__option_t) const |
|
template<> |
bool | wasSetByUser (options::threadArgv__option_t) const |
|
template<> |
void | assign (options::threadArgv__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::thread_id__option_t, const options::thread_id__option_t::type &x) |
|
template<> |
const
options::thread_id__option_t::type & | operator[] (options::thread_id__option_t) const |
|
template<> |
bool | wasSetByUser (options::thread_id__option_t) const |
|
template<> |
void | assign (options::thread_id__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::sharingFilterByLength__option_t, const options::sharingFilterByLength__option_t::type &x) |
|
template<> |
const
options::sharingFilterByLength__option_t::type & | operator[] (options::sharingFilterByLength__option_t) const |
|
template<> |
bool | wasSetByUser (options::sharingFilterByLength__option_t) const |
|
template<> |
void | assign (options::sharingFilterByLength__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::fallbackSequential__option_t::type & | operator[] (options::fallbackSequential__option_t) const |
|
template<> |
bool | wasSetByUser (options::fallbackSequential__option_t) const |
|
template<> |
void | assignBool (options::fallbackSequential__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::incrementalParallel__option_t::type & | operator[] (options::incrementalParallel__option_t) const |
|
template<> |
bool | wasSetByUser (options::incrementalParallel__option_t) const |
|
template<> |
void | assignBool (options::incrementalParallel__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::segvSpin__option_t::type & | operator[] (options::segvSpin__option_t) const |
|
template<> |
bool | wasSetByUser (options::segvSpin__option_t) const |
|
template<> |
void | assignBool (options::segvSpin__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::waitToJoin__option_t::type & | operator[] (options::waitToJoin__option_t) const |
|
template<> |
bool | wasSetByUser (options::waitToJoin__option_t) const |
|
template<> |
void | assignBool (options::waitToJoin__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::satRandomFreq__option_t::type & | operator[] (options::satRandomFreq__option_t) const |
|
template<> |
bool | wasSetByUser (options::satRandomFreq__option_t) const |
|
template<> |
void | assign (options::satRandomFreq__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::satRandomSeed__option_t, const options::satRandomSeed__option_t::type &x) |
|
template<> |
const
options::satRandomSeed__option_t::type & | operator[] (options::satRandomSeed__option_t) const |
|
template<> |
bool | wasSetByUser (options::satRandomSeed__option_t) const |
|
template<> |
void | assign (options::satRandomSeed__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::satVarDecay__option_t, const options::satVarDecay__option_t::type &x) |
|
template<> |
const
options::satVarDecay__option_t::type & | operator[] (options::satVarDecay__option_t) const |
|
template<> |
bool | wasSetByUser (options::satVarDecay__option_t) const |
|
template<> |
void | assign (options::satVarDecay__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::satClauseDecay__option_t, const options::satClauseDecay__option_t::type &x) |
|
template<> |
const
options::satClauseDecay__option_t::type & | operator[] (options::satClauseDecay__option_t) const |
|
template<> |
bool | wasSetByUser (options::satClauseDecay__option_t) const |
|
template<> |
void | assign (options::satClauseDecay__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::satRestartFirst__option_t::type & | operator[] (options::satRestartFirst__option_t) const |
|
template<> |
bool | wasSetByUser (options::satRestartFirst__option_t) const |
|
template<> |
void | assign (options::satRestartFirst__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::satRestartInc__option_t::type & | operator[] (options::satRestartInc__option_t) const |
|
template<> |
bool | wasSetByUser (options::satRestartInc__option_t) const |
|
template<> |
void | assign (options::satRestartInc__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::sat_refine_conflicts__option_t::type & | operator[] (options::sat_refine_conflicts__option_t) const |
|
template<> |
bool | wasSetByUser (options::sat_refine_conflicts__option_t) const |
|
template<> |
void | assignBool (options::sat_refine_conflicts__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::minisatUseElim__option_t, const options::minisatUseElim__option_t::type &x) |
|
template<> |
const
options::minisatUseElim__option_t::type & | operator[] (options::minisatUseElim__option_t) const |
|
template<> |
bool | wasSetByUser (options::minisatUseElim__option_t) const |
|
template<> |
void | assignBool (options::minisatUseElim__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::minisatDumpDimacs__option_t::type & | operator[] (options::minisatDumpDimacs__option_t) const |
|
template<> |
bool | wasSetByUser (options::minisatDumpDimacs__option_t) const |
|
template<> |
void | assignBool (options::minisatDumpDimacs__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::simplificationMode__option_t, const options::simplificationMode__option_t::type &x) |
|
template<> |
const
options::simplificationMode__option_t::type & | operator[] (options::simplificationMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::simplificationMode__option_t) const |
|
template<> |
void | assign (options::simplificationMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::doStaticLearning__option_t::type & | operator[] (options::doStaticLearning__option_t) const |
|
template<> |
bool | wasSetByUser (options::doStaticLearning__option_t) const |
|
template<> |
void | assignBool (options::doStaticLearning__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::expandDefinitions__option_t::type & | operator[] (options::expandDefinitions__option_t) const |
|
template<> |
bool | wasSetByUser (options::expandDefinitions__option_t) const |
|
template<> |
void | assignBool (options::expandDefinitions__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::produceModels__option_t::type & | operator[] (options::produceModels__option_t) const |
|
template<> |
bool | wasSetByUser (options::produceModels__option_t) const |
|
template<> |
void | assignBool (options::produceModels__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::checkModels__option_t::type & | operator[] (options::checkModels__option_t) const |
|
template<> |
bool | wasSetByUser (options::checkModels__option_t) const |
|
template<> |
void | assignBool (options::checkModels__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::dumpModels__option_t::type & | operator[] (options::dumpModels__option_t) const |
|
template<> |
bool | wasSetByUser (options::dumpModels__option_t) const |
|
template<> |
void | assignBool (options::dumpModels__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::proof__option_t::type & | operator[] (options::proof__option_t) const |
|
template<> |
bool | wasSetByUser (options::proof__option_t) const |
|
template<> |
void | assignBool (options::proof__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::unsatCores__option_t::type & | operator[] (options::unsatCores__option_t) const |
|
template<> |
bool | wasSetByUser (options::unsatCores__option_t) const |
|
template<> |
void | assignBool (options::unsatCores__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::produceAssignments__option_t::type & | operator[] (options::produceAssignments__option_t) const |
|
template<> |
bool | wasSetByUser (options::produceAssignments__option_t) const |
|
template<> |
void | assignBool (options::produceAssignments__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::interactive__option_t, const options::interactive__option_t::type &x) |
|
template<> |
const
options::interactive__option_t::type & | operator[] (options::interactive__option_t) const |
|
template<> |
bool | wasSetByUser (options::interactive__option_t) const |
|
template<> |
void | assignBool (options::interactive__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::doITESimp__option_t, const options::doITESimp__option_t::type &x) |
|
template<> |
const
options::doITESimp__option_t::type & | operator[] (options::doITESimp__option_t) const |
|
template<> |
bool | wasSetByUser (options::doITESimp__option_t) const |
|
template<> |
void | assignBool (options::doITESimp__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::doITESimpOnRepeat__option_t, const options::doITESimpOnRepeat__option_t::type &x) |
|
template<> |
const
options::doITESimpOnRepeat__option_t::type & | operator[] (options::doITESimpOnRepeat__option_t) const |
|
template<> |
bool | wasSetByUser (options::doITESimpOnRepeat__option_t) const |
|
template<> |
void | assignBool (options::doITESimpOnRepeat__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::simplifyWithCareEnabled__option_t, const options::simplifyWithCareEnabled__option_t::type &x) |
|
template<> |
const
options::simplifyWithCareEnabled__option_t::type & | operator[] (options::simplifyWithCareEnabled__option_t) const |
|
template<> |
bool | wasSetByUser (options::simplifyWithCareEnabled__option_t) const |
|
template<> |
void | assignBool (options::simplifyWithCareEnabled__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::compressItes__option_t, const options::compressItes__option_t::type &x) |
|
template<> |
const
options::compressItes__option_t::type & | operator[] (options::compressItes__option_t) const |
|
template<> |
bool | wasSetByUser (options::compressItes__option_t) const |
|
template<> |
void | assignBool (options::compressItes__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::unconstrainedSimp__option_t, const options::unconstrainedSimp__option_t::type &x) |
|
template<> |
const
options::unconstrainedSimp__option_t::type & | operator[] (options::unconstrainedSimp__option_t) const |
|
template<> |
bool | wasSetByUser (options::unconstrainedSimp__option_t) const |
|
template<> |
void | assignBool (options::unconstrainedSimp__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::repeatSimp__option_t, const options::repeatSimp__option_t::type &x) |
|
template<> |
const
options::repeatSimp__option_t::type & | operator[] (options::repeatSimp__option_t) const |
|
template<> |
bool | wasSetByUser (options::repeatSimp__option_t) const |
|
template<> |
void | assignBool (options::repeatSimp__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::zombieHuntThreshold__option_t::type & | operator[] (options::zombieHuntThreshold__option_t) const |
|
template<> |
bool | wasSetByUser (options::zombieHuntThreshold__option_t) const |
|
template<> |
void | assign (options::zombieHuntThreshold__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::sortInference__option_t, const options::sortInference__option_t::type &x) |
|
template<> |
const
options::sortInference__option_t::type & | operator[] (options::sortInference__option_t) const |
|
template<> |
bool | wasSetByUser (options::sortInference__option_t) const |
|
template<> |
void | assignBool (options::sortInference__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::incrementalSolving__option_t::type & | operator[] (options::incrementalSolving__option_t) const |
|
template<> |
bool | wasSetByUser (options::incrementalSolving__option_t) const |
|
template<> |
void | assignBool (options::incrementalSolving__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::abstractValues__option_t::type & | operator[] (options::abstractValues__option_t) const |
|
template<> |
bool | wasSetByUser (options::abstractValues__option_t) const |
|
template<> |
void | assignBool (options::abstractValues__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::modelUninterpDtEnum__option_t::type & | operator[] (options::modelUninterpDtEnum__option_t) const |
|
template<> |
bool | wasSetByUser (options::modelUninterpDtEnum__option_t) const |
|
template<> |
void | assignBool (options::modelUninterpDtEnum__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::cumulativeMillisecondLimit__option_t::type & | operator[] (options::cumulativeMillisecondLimit__option_t) const |
|
template<> |
bool | wasSetByUser (options::cumulativeMillisecondLimit__option_t) const |
|
template<> |
void | assign (options::cumulativeMillisecondLimit__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::perCallMillisecondLimit__option_t::type & | operator[] (options::perCallMillisecondLimit__option_t) const |
|
template<> |
bool | wasSetByUser (options::perCallMillisecondLimit__option_t) const |
|
template<> |
void | assign (options::perCallMillisecondLimit__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::cumulativeResourceLimit__option_t::type & | operator[] (options::cumulativeResourceLimit__option_t) const |
|
template<> |
bool | wasSetByUser (options::cumulativeResourceLimit__option_t) const |
|
template<> |
void | assign (options::cumulativeResourceLimit__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::perCallResourceLimit__option_t::type & | operator[] (options::perCallResourceLimit__option_t) const |
|
template<> |
bool | wasSetByUser (options::perCallResourceLimit__option_t) const |
|
template<> |
void | assign (options::perCallResourceLimit__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::rewriteApplyToConst__option_t::type & | operator[] (options::rewriteApplyToConst__option_t) const |
|
template<> |
bool | wasSetByUser (options::rewriteApplyToConst__option_t) const |
|
template<> |
void | assignBool (options::rewriteApplyToConst__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::replayFilename__option_t::type & | operator[] (options::replayFilename__option_t) const |
|
template<> |
bool | wasSetByUser (options::replayFilename__option_t) const |
|
template<> |
void | assign (options::replayFilename__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::replayLog__option_t::type & | operator[] (options::replayLog__option_t) const |
|
template<> |
bool | wasSetByUser (options::replayLog__option_t) const |
|
template<> |
void | assign (options::replayLog__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::replayStream__option_t, const options::replayStream__option_t::type &x) |
|
template<> |
const
options::replayStream__option_t::type & | operator[] (options::replayStream__option_t) const |
|
template<> |
bool | wasSetByUser (options::replayStream__option_t) const |
|
template<> |
void | assign (options::replayStream__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::lemmaInputChannel__option_t, const options::lemmaInputChannel__option_t::type &x) |
|
template<> |
const
options::lemmaInputChannel__option_t::type & | operator[] (options::lemmaInputChannel__option_t) const |
|
template<> |
bool | wasSetByUser (options::lemmaInputChannel__option_t) const |
|
template<> |
void | assign (options::lemmaInputChannel__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::lemmaOutputChannel__option_t, const options::lemmaOutputChannel__option_t::type &x) |
|
template<> |
const
options::lemmaOutputChannel__option_t::type & | operator[] (options::lemmaOutputChannel__option_t) const |
|
template<> |
bool | wasSetByUser (options::lemmaOutputChannel__option_t) const |
|
template<> |
void | assign (options::lemmaOutputChannel__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::defaultExprDepth__option_t::type & | operator[] (options::defaultExprDepth__option_t) const |
|
template<> |
bool | wasSetByUser (options::defaultExprDepth__option_t) const |
|
template<> |
void | assign (options::defaultExprDepth__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::defaultDagThresh__option_t::type & | operator[] (options::defaultDagThresh__option_t) const |
|
template<> |
bool | wasSetByUser (options::defaultDagThresh__option_t) const |
|
template<> |
void | assign (options::defaultDagThresh__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::earlyTypeChecking__option_t::type & | operator[] (options::earlyTypeChecking__option_t) const |
|
template<> |
bool | wasSetByUser (options::earlyTypeChecking__option_t) const |
|
template<> |
void | assignBool (options::earlyTypeChecking__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::typeChecking__option_t::type & | operator[] (options::typeChecking__option_t) const |
|
template<> |
bool | wasSetByUser (options::typeChecking__option_t) const |
|
template<> |
void | assignBool (options::typeChecking__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::biasedITERemoval__option_t::type & | operator[] (options::biasedITERemoval__option_t) const |
|
template<> |
bool | wasSetByUser (options::biasedITERemoval__option_t) const |
|
template<> |
void | assignBool (options::biasedITERemoval__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::strictParsing__option_t::type & | operator[] (options::strictParsing__option_t) const |
|
template<> |
bool | wasSetByUser (options::strictParsing__option_t) const |
|
template<> |
void | assignBool (options::strictParsing__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::memoryMap__option_t::type & | operator[] (options::memoryMap__option_t) const |
|
template<> |
bool | wasSetByUser (options::memoryMap__option_t) const |
|
template<> |
void | assignBool (options::memoryMap__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::semanticChecks__option_t::type & | operator[] (options::semanticChecks__option_t) const |
|
template<> |
bool | wasSetByUser (options::semanticChecks__option_t) const |
|
template<> |
void | assignBool (options::semanticChecks__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::canIncludeFile__option_t::type & | operator[] (options::canIncludeFile__option_t) const |
|
template<> |
bool | wasSetByUser (options::canIncludeFile__option_t) const |
|
template<> |
void | assignBool (options::canIncludeFile__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::decisionMode__option_t, const options::decisionMode__option_t::type &x) |
|
template<> |
const
options::decisionMode__option_t::type & | operator[] (options::decisionMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::decisionMode__option_t) const |
|
template<> |
void | assign (options::decisionMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::decisionStopOnly__option_t, const options::decisionStopOnly__option_t::type &x) |
|
template<> |
const
options::decisionStopOnly__option_t::type & | operator[] (options::decisionStopOnly__option_t) const |
|
template<> |
bool | wasSetByUser (options::decisionStopOnly__option_t) const |
|
template<> |
void | assignBool (options::decisionStopOnly__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::decisionThreshold__option_t::type & | operator[] (options::decisionThreshold__option_t) const |
|
template<> |
bool | wasSetByUser (options::decisionThreshold__option_t) const |
|
template<> |
void | assign (options::decisionThreshold__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::decisionUseWeight__option_t::type & | operator[] (options::decisionUseWeight__option_t) const |
|
template<> |
bool | wasSetByUser (options::decisionUseWeight__option_t) const |
|
template<> |
void | assignBool (options::decisionUseWeight__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::decisionRandomWeight__option_t::type & | operator[] (options::decisionRandomWeight__option_t) const |
|
template<> |
bool | wasSetByUser (options::decisionRandomWeight__option_t) const |
|
template<> |
void | assign (options::decisionRandomWeight__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::decisionWeightInternal__option_t::type & | operator[] (options::decisionWeightInternal__option_t) const |
|
template<> |
bool | wasSetByUser (options::decisionWeightInternal__option_t) const |
|
template<> |
void | assign (options::decisionWeightInternal__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::binary_name__option_t, const options::binary_name__option_t::type &x) |
|
template<> |
const
options::binary_name__option_t::type & | operator[] (options::binary_name__option_t) const |
|
template<> |
bool | wasSetByUser (options::binary_name__option_t) const |
|
template<> |
void | assign (options::binary_name__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::in__option_t, const options::in__option_t::type &x) |
|
template<> |
const options::in__option_t::type & | operator[] (options::in__option_t) const |
|
template<> |
bool | wasSetByUser (options::in__option_t) const |
|
template<> |
void | assign (options::in__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::out__option_t, const options::out__option_t::type &x) |
|
template<> |
const
options::out__option_t::type & | operator[] (options::out__option_t) const |
|
template<> |
bool | wasSetByUser (options::out__option_t) const |
|
template<> |
void | assign (options::out__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::err__option_t, const options::err__option_t::type &x) |
|
template<> |
const
options::err__option_t::type & | operator[] (options::err__option_t) const |
|
template<> |
bool | wasSetByUser (options::err__option_t) const |
|
template<> |
void | assign (options::err__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::inputLanguage__option_t, const options::inputLanguage__option_t::type &x) |
|
template<> |
const
options::inputLanguage__option_t::type & | operator[] (options::inputLanguage__option_t) const |
|
template<> |
bool | wasSetByUser (options::inputLanguage__option_t) const |
|
template<> |
void | assign (options::inputLanguage__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::outputLanguage__option_t, const options::outputLanguage__option_t::type &x) |
|
template<> |
const
options::outputLanguage__option_t::type & | operator[] (options::outputLanguage__option_t) const |
|
template<> |
bool | wasSetByUser (options::outputLanguage__option_t) const |
|
template<> |
void | assign (options::outputLanguage__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::languageHelp__option_t, const options::languageHelp__option_t::type &x) |
|
template<> |
const
options::languageHelp__option_t::type & | operator[] (options::languageHelp__option_t) const |
|
template<> |
bool | wasSetByUser (options::languageHelp__option_t) const |
|
template<> |
void | assignBool (options::languageHelp__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::verbosity__option_t, const options::verbosity__option_t::type &x) |
|
template<> |
const
options::verbosity__option_t::type & | operator[] (options::verbosity__option_t) const |
|
template<> |
bool | wasSetByUser (options::verbosity__option_t) const |
|
template<> |
void | assign (options::verbosity__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::statistics__option_t::type & | operator[] (options::statistics__option_t) const |
|
template<> |
bool | wasSetByUser (options::statistics__option_t) const |
|
template<> |
void | assignBool (options::statistics__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::parseOnly__option_t, const options::parseOnly__option_t::type &x) |
|
template<> |
const
options::parseOnly__option_t::type & | operator[] (options::parseOnly__option_t) const |
|
template<> |
bool | wasSetByUser (options::parseOnly__option_t) const |
|
template<> |
void | assignBool (options::parseOnly__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::preprocessOnly__option_t::type & | operator[] (options::preprocessOnly__option_t) const |
|
template<> |
bool | wasSetByUser (options::preprocessOnly__option_t) const |
|
template<> |
void | assignBool (options::preprocessOnly__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::printSuccess__option_t::type & | operator[] (options::printSuccess__option_t) const |
|
template<> |
bool | wasSetByUser (options::printSuccess__option_t) const |
|
template<> |
void | assignBool (options::printSuccess__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::modelFormatMode__option_t, const options::modelFormatMode__option_t::type &x) |
|
template<> |
const
options::modelFormatMode__option_t::type & | operator[] (options::modelFormatMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::modelFormatMode__option_t) const |
|
template<> |
void | assign (options::modelFormatMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::bitvectorEagerBitblast__option_t::type & | operator[] (options::bitvectorEagerBitblast__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorEagerBitblast__option_t) const |
|
template<> |
void | assignBool (options::bitvectorEagerBitblast__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::bitvectorShareLemmas__option_t::type & | operator[] (options::bitvectorShareLemmas__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorShareLemmas__option_t) const |
|
template<> |
void | assignBool (options::bitvectorShareLemmas__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::bitvectorEagerFullcheck__option_t::type & | operator[] (options::bitvectorEagerFullcheck__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorEagerFullcheck__option_t) const |
|
template<> |
void | assignBool (options::bitvectorEagerFullcheck__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::bitvectorInequalitySolver__option_t::type & | operator[] (options::bitvectorInequalitySolver__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorInequalitySolver__option_t) const |
|
template<> |
void | assignBool (options::bitvectorInequalitySolver__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::bitvectorCoreSolver__option_t::type & | operator[] (options::bitvectorCoreSolver__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorCoreSolver__option_t) const |
|
template<> |
void | assignBool (options::bitvectorCoreSolver__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::bvToBool__option_t::type & | operator[] (options::bvToBool__option_t) const |
|
template<> |
bool | wasSetByUser (options::bvToBool__option_t) const |
|
template<> |
void | assignBool (options::bvToBool__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::bvPropagate__option_t::type & | operator[] (options::bvPropagate__option_t) const |
|
template<> |
bool | wasSetByUser (options::bvPropagate__option_t) const |
|
template<> |
void | assignBool (options::bvPropagate__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::bvEquality__option_t::type & | operator[] (options::bvEquality__option_t) const |
|
template<> |
bool | wasSetByUser (options::bvEquality__option_t) const |
|
template<> |
void | assignBool (options::bvEquality__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::booleanTermConversionMode__option_t::type & | operator[] (options::booleanTermConversionMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::booleanTermConversionMode__option_t) const |
|
template<> |
void | assign (options::booleanTermConversionMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::ufSymmetryBreaker__option_t, const options::ufSymmetryBreaker__option_t::type &x) |
|
template<> |
const
options::ufSymmetryBreaker__option_t::type & | operator[] (options::ufSymmetryBreaker__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufSymmetryBreaker__option_t) const |
|
template<> |
void | assignBool (options::ufSymmetryBreaker__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::condenseFunctionValues__option_t::type & | operator[] (options::condenseFunctionValues__option_t) const |
|
template<> |
bool | wasSetByUser (options::condenseFunctionValues__option_t) const |
|
template<> |
void | assignBool (options::condenseFunctionValues__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssRegions__option_t::type & | operator[] (options::ufssRegions__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssRegions__option_t) const |
|
template<> |
void | assignBool (options::ufssRegions__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssEagerSplits__option_t::type & | operator[] (options::ufssEagerSplits__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssEagerSplits__option_t) const |
|
template<> |
void | assignBool (options::ufssEagerSplits__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssColoringSat__option_t::type & | operator[] (options::ufssColoringSat__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssColoringSat__option_t) const |
|
template<> |
void | assignBool (options::ufssColoringSat__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssTotality__option_t::type & | operator[] (options::ufssTotality__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssTotality__option_t) const |
|
template<> |
void | assignBool (options::ufssTotality__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssTotalityLimited__option_t::type & | operator[] (options::ufssTotalityLimited__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssTotalityLimited__option_t) const |
|
template<> |
void | assign (options::ufssTotalityLimited__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::ufssTotalityLazy__option_t::type & | operator[] (options::ufssTotalityLazy__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssTotalityLazy__option_t) const |
|
template<> |
void | assignBool (options::ufssTotalityLazy__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssTotalitySymBreak__option_t::type & | operator[] (options::ufssTotalitySymBreak__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssTotalitySymBreak__option_t) const |
|
template<> |
void | assignBool (options::ufssTotalitySymBreak__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssAbortCardinality__option_t::type & | operator[] (options::ufssAbortCardinality__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssAbortCardinality__option_t) const |
|
template<> |
void | assign (options::ufssAbortCardinality__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::ufssSmartSplits__option_t::type & | operator[] (options::ufssSmartSplits__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssSmartSplits__option_t) const |
|
template<> |
void | assignBool (options::ufssSmartSplits__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssExplainedCliques__option_t::type & | operator[] (options::ufssExplainedCliques__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssExplainedCliques__option_t) const |
|
template<> |
void | assignBool (options::ufssExplainedCliques__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssSimpleCliques__option_t::type & | operator[] (options::ufssSimpleCliques__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssSimpleCliques__option_t) const |
|
template<> |
void | assignBool (options::ufssSimpleCliques__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssDiseqPropagation__option_t::type & | operator[] (options::ufssDiseqPropagation__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssDiseqPropagation__option_t) const |
|
template<> |
void | assignBool (options::ufssDiseqPropagation__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssMinimalModel__option_t::type & | operator[] (options::ufssMinimalModel__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssMinimalModel__option_t) const |
|
template<> |
void | assignBool (options::ufssMinimalModel__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssCliqueSplits__option_t::type & | operator[] (options::ufssCliqueSplits__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssCliqueSplits__option_t) const |
|
template<> |
void | assignBool (options::ufssCliqueSplits__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssSymBreak__option_t::type & | operator[] (options::ufssSymBreak__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssSymBreak__option_t) const |
|
template<> |
void | assignBool (options::ufssSymBreak__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::ufssFairness__option_t::type & | operator[] (options::ufssFairness__option_t) const |
|
template<> |
bool | wasSetByUser (options::ufssFairness__option_t) const |
|
template<> |
void | assignBool (options::ufssFairness__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::idlRewriteEq__option_t, const options::idlRewriteEq__option_t::type &x) |
|
template<> |
const
options::idlRewriteEq__option_t::type & | operator[] (options::idlRewriteEq__option_t) const |
|
template<> |
bool | wasSetByUser (options::idlRewriteEq__option_t) const |
|
template<> |
void | assignBool (options::idlRewriteEq__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::miniscopeQuant__option_t::type & | operator[] (options::miniscopeQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::miniscopeQuant__option_t) const |
|
template<> |
void | assignBool (options::miniscopeQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::miniscopeQuantFreeVar__option_t::type & | operator[] (options::miniscopeQuantFreeVar__option_t) const |
|
template<> |
bool | wasSetByUser (options::miniscopeQuantFreeVar__option_t) const |
|
template<> |
void | assignBool (options::miniscopeQuantFreeVar__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::prenexQuant__option_t::type & | operator[] (options::prenexQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::prenexQuant__option_t) const |
|
template<> |
void | assignBool (options::prenexQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::varElimQuant__option_t::type & | operator[] (options::varElimQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::varElimQuant__option_t) const |
|
template<> |
void | assignBool (options::varElimQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::simpleIteLiftQuant__option_t::type & | operator[] (options::simpleIteLiftQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::simpleIteLiftQuant__option_t) const |
|
template<> |
void | assignBool (options::simpleIteLiftQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::cnfQuant__option_t::type & | operator[] (options::cnfQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::cnfQuant__option_t) const |
|
template<> |
void | assignBool (options::cnfQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::clauseSplit__option_t::type & | operator[] (options::clauseSplit__option_t) const |
|
template<> |
bool | wasSetByUser (options::clauseSplit__option_t) const |
|
template<> |
void | assignBool (options::clauseSplit__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::preSkolemQuant__option_t::type & | operator[] (options::preSkolemQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::preSkolemQuant__option_t) const |
|
template<> |
void | assignBool (options::preSkolemQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::iteRemoveQuant__option_t::type & | operator[] (options::iteRemoveQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::iteRemoveQuant__option_t) const |
|
template<> |
void | assignBool (options::iteRemoveQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::aggressiveMiniscopeQuant__option_t::type & | operator[] (options::aggressiveMiniscopeQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::aggressiveMiniscopeQuant__option_t) const |
|
template<> |
void | assignBool (options::aggressiveMiniscopeQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::macrosQuant__option_t::type & | operator[] (options::macrosQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::macrosQuant__option_t) const |
|
template<> |
void | assignBool (options::macrosQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::foPropQuant__option_t::type & | operator[] (options::foPropQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::foPropQuant__option_t) const |
|
template<> |
void | assignBool (options::foPropQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::smartTriggers__option_t::type & | operator[] (options::smartTriggers__option_t) const |
|
template<> |
bool | wasSetByUser (options::smartTriggers__option_t) const |
|
template<> |
void | assignBool (options::smartTriggers__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::relevantTriggers__option_t::type & | operator[] (options::relevantTriggers__option_t) const |
|
template<> |
bool | wasSetByUser (options::relevantTriggers__option_t) const |
|
template<> |
void | assignBool (options::relevantTriggers__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::relationalTriggers__option_t::type & | operator[] (options::relationalTriggers__option_t) const |
|
template<> |
bool | wasSetByUser (options::relationalTriggers__option_t) const |
|
template<> |
void | assignBool (options::relationalTriggers__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::registerQuantBodyTerms__option_t::type & | operator[] (options::registerQuantBodyTerms__option_t) const |
|
template<> |
bool | wasSetByUser (options::registerQuantBodyTerms__option_t) const |
|
template<> |
void | assignBool (options::registerQuantBodyTerms__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::instWhenMode__option_t, const options::instWhenMode__option_t::type &x) |
|
template<> |
const
options::instWhenMode__option_t::type & | operator[] (options::instWhenMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::instWhenMode__option_t) const |
|
template<> |
void | assign (options::instWhenMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::eagerInstQuant__option_t::type & | operator[] (options::eagerInstQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::eagerInstQuant__option_t) const |
|
template<> |
void | assignBool (options::eagerInstQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::literalMatchMode__option_t::type & | operator[] (options::literalMatchMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::literalMatchMode__option_t) const |
|
template<> |
void | assign (options::literalMatchMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::cbqi__option_t::type & | operator[] (options::cbqi__option_t) const |
|
template<> |
bool | wasSetByUser (options::cbqi__option_t) const |
|
template<> |
void | assignBool (options::cbqi__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::recurseCbqi__option_t::type & | operator[] (options::recurseCbqi__option_t) const |
|
template<> |
bool | wasSetByUser (options::recurseCbqi__option_t) const |
|
template<> |
void | assignBool (options::recurseCbqi__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::userPatternsQuant__option_t::type & | operator[] (options::userPatternsQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::userPatternsQuant__option_t) const |
|
template<> |
void | assignBool (options::userPatternsQuant__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::flipDecision__option_t::type & | operator[] (options::flipDecision__option_t) const |
|
template<> |
bool | wasSetByUser (options::flipDecision__option_t) const |
|
template<> |
void | assignBool (options::flipDecision__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::internalReps__option_t::type & | operator[] (options::internalReps__option_t) const |
|
template<> |
bool | wasSetByUser (options::internalReps__option_t) const |
|
template<> |
void | assignBool (options::internalReps__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::finiteModelFind__option_t::type & | operator[] (options::finiteModelFind__option_t) const |
|
template<> |
bool | wasSetByUser (options::finiteModelFind__option_t) const |
|
template<> |
void | assignBool (options::finiteModelFind__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfModelBasedInst__option_t::type & | operator[] (options::fmfModelBasedInst__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfModelBasedInst__option_t) const |
|
template<> |
void | assignBool (options::fmfModelBasedInst__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::fmfFullModelCheck__option_t, const options::fmfFullModelCheck__option_t::type &x) |
|
template<> |
const
options::fmfFullModelCheck__option_t::type & | operator[] (options::fmfFullModelCheck__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfFullModelCheck__option_t) const |
|
template<> |
void | assignBool (options::fmfFullModelCheck__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfFmcSimple__option_t::type & | operator[] (options::fmfFmcSimple__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfFmcSimple__option_t) const |
|
template<> |
void | assignBool (options::fmfFmcSimple__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfFmcCoverSimplify__option_t::type & | operator[] (options::fmfFmcCoverSimplify__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfFmcCoverSimplify__option_t) const |
|
template<> |
void | assignBool (options::fmfFmcCoverSimplify__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfFmcInterval__option_t::type & | operator[] (options::fmfFmcInterval__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfFmcInterval__option_t) const |
|
template<> |
void | assignBool (options::fmfFmcInterval__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfOneInstPerRound__option_t::type & | operator[] (options::fmfOneInstPerRound__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfOneInstPerRound__option_t) const |
|
template<> |
void | assignBool (options::fmfOneInstPerRound__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfOneQuantPerRound__option_t::type & | operator[] (options::fmfOneQuantPerRound__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfOneQuantPerRound__option_t) const |
|
template<> |
void | assignBool (options::fmfOneQuantPerRound__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfInstEngine__option_t::type & | operator[] (options::fmfInstEngine__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfInstEngine__option_t) const |
|
template<> |
void | assignBool (options::fmfInstEngine__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfRelevantDomain__option_t::type & | operator[] (options::fmfRelevantDomain__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfRelevantDomain__option_t) const |
|
template<> |
void | assignBool (options::fmfRelevantDomain__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfNewInstGen__option_t::type & | operator[] (options::fmfNewInstGen__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfNewInstGen__option_t) const |
|
template<> |
void | assignBool (options::fmfNewInstGen__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::fmfInstGen__option_t, const options::fmfInstGen__option_t::type &x) |
|
template<> |
const
options::fmfInstGen__option_t::type & | operator[] (options::fmfInstGen__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfInstGen__option_t) const |
|
template<> |
void | assignBool (options::fmfInstGen__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfInstGenOneQuantPerRound__option_t::type & | operator[] (options::fmfInstGenOneQuantPerRound__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfInstGenOneQuantPerRound__option_t) const |
|
template<> |
void | assignBool (options::fmfInstGenOneQuantPerRound__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfFreshDistConst__option_t::type & | operator[] (options::fmfFreshDistConst__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfFreshDistConst__option_t) const |
|
template<> |
void | assignBool (options::fmfFreshDistConst__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::fmfBoundInt__option_t::type & | operator[] (options::fmfBoundInt__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfBoundInt__option_t) const |
|
template<> |
void | assignBool (options::fmfBoundInt__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::axiomInstMode__option_t::type & | operator[] (options::axiomInstMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::axiomInstMode__option_t) const |
|
template<> |
void | assign (options::axiomInstMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::stringCharCardinality__option_t::type & | operator[] (options::stringCharCardinality__option_t) const |
|
template<> |
bool | wasSetByUser (options::stringCharCardinality__option_t) const |
|
template<> |
void | assign (options::stringCharCardinality__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::stringRegExpUnrollDepth__option_t, const options::stringRegExpUnrollDepth__option_t::type &x) |
|
template<> |
const
options::stringRegExpUnrollDepth__option_t::type & | operator[] (options::stringRegExpUnrollDepth__option_t) const |
|
template<> |
bool | wasSetByUser (options::stringRegExpUnrollDepth__option_t) const |
|
template<> |
void | assign (options::stringRegExpUnrollDepth__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::stringFMF__option_t::type & | operator[] (options::stringFMF__option_t) const |
|
template<> |
bool | wasSetByUser (options::stringFMF__option_t) const |
|
template<> |
void | assignBool (options::stringFMF__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::stringLB__option_t::type & | operator[] (options::stringLB__option_t) const |
|
template<> |
bool | wasSetByUser (options::stringLB__option_t) const |
|
template<> |
void | assign (options::stringLB__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::stringExp__option_t::type & | operator[] (options::stringExp__option_t) const |
|
template<> |
bool | wasSetByUser (options::stringExp__option_t) const |
|
template<> |
void | assignBool (options::stringExp__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::dtRewriteErrorSel__option_t::type & | operator[] (options::dtRewriteErrorSel__option_t) const |
|
template<> |
bool | wasSetByUser (options::dtRewriteErrorSel__option_t) const |
|
template<> |
void | assignBool (options::dtRewriteErrorSel__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::dtForceAssignment__option_t, const options::dtForceAssignment__option_t::type &x) |
|
template<> |
const
options::dtForceAssignment__option_t::type & | operator[] (options::dtForceAssignment__option_t) const |
|
template<> |
bool | wasSetByUser (options::dtForceAssignment__option_t) const |
|
template<> |
void | assignBool (options::dtForceAssignment__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::efficientEMatching__option_t::type & | operator[] (options::efficientEMatching__option_t) const |
|
template<> |
bool | wasSetByUser (options::efficientEMatching__option_t) const |
|
template<> |
void | assignBool (options::efficientEMatching__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::rewriteRulesAsAxioms__option_t::type & | operator[] (options::rewriteRulesAsAxioms__option_t) const |
|
template<> |
bool | wasSetByUser (options::rewriteRulesAsAxioms__option_t) const |
|
template<> |
void | assignBool (options::rewriteRulesAsAxioms__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::theoryOfMode__option_t, const options::theoryOfMode__option_t::type &x) |
|
template<> |
const
options::theoryOfMode__option_t::type & | operator[] (options::theoryOfMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::theoryOfMode__option_t) const |
|
template<> |
void | assign (options::theoryOfMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::theoryAlternates__option_t, const options::theoryAlternates__option_t::type &x) |
|
template<> |
const
options::theoryAlternates__option_t::type & | operator[] (options::theoryAlternates__option_t) const |
|
template<> |
bool | wasSetByUser (options::theoryAlternates__option_t) const |
|
template<> |
void | assign (options::theoryAlternates__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::arraysOptimizeLinear__option_t, const options::arraysOptimizeLinear__option_t::type &x) |
|
template<> |
const
options::arraysOptimizeLinear__option_t::type & | operator[] (options::arraysOptimizeLinear__option_t) const |
|
template<> |
bool | wasSetByUser (options::arraysOptimizeLinear__option_t) const |
|
template<> |
void | assignBool (options::arraysOptimizeLinear__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::arraysLazyRIntro1__option_t, const options::arraysLazyRIntro1__option_t::type &x) |
|
template<> |
const
options::arraysLazyRIntro1__option_t::type & | operator[] (options::arraysLazyRIntro1__option_t) const |
|
template<> |
bool | wasSetByUser (options::arraysLazyRIntro1__option_t) const |
|
template<> |
void | assignBool (options::arraysLazyRIntro1__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::arraysModelBased__option_t, const options::arraysModelBased__option_t::type &x) |
|
template<> |
const
options::arraysModelBased__option_t::type & | operator[] (options::arraysModelBased__option_t) const |
|
template<> |
bool | wasSetByUser (options::arraysModelBased__option_t) const |
|
template<> |
void | assignBool (options::arraysModelBased__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::arraysEagerIndexSplitting__option_t, const options::arraysEagerIndexSplitting__option_t::type &x) |
|
template<> |
const
options::arraysEagerIndexSplitting__option_t::type & | operator[] (options::arraysEagerIndexSplitting__option_t) const |
|
template<> |
bool | wasSetByUser (options::arraysEagerIndexSplitting__option_t) const |
|
template<> |
void | assignBool (options::arraysEagerIndexSplitting__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::arraysEagerLemmas__option_t, const options::arraysEagerLemmas__option_t::type &x) |
|
template<> |
const
options::arraysEagerLemmas__option_t::type & | operator[] (options::arraysEagerLemmas__option_t) const |
|
template<> |
bool | wasSetByUser (options::arraysEagerLemmas__option_t) const |
|
template<> |
void | assignBool (options::arraysEagerLemmas__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::arithUnateLemmaMode__option_t::type & | operator[] (options::arithUnateLemmaMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithUnateLemmaMode__option_t) const |
|
template<> |
void | assign (options::arithUnateLemmaMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::arithPropagationMode__option_t::type & | operator[] (options::arithPropagationMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithPropagationMode__option_t) const |
|
template<> |
void | assign (options::arithPropagationMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::arithHeuristicPivots__option_t, const options::arithHeuristicPivots__option_t::type &x) |
|
template<> |
const
options::arithHeuristicPivots__option_t::type & | operator[] (options::arithHeuristicPivots__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithHeuristicPivots__option_t) const |
|
template<> |
void | assign (options::arithHeuristicPivots__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::arithStandardCheckVarOrderPivots__option_t, const options::arithStandardCheckVarOrderPivots__option_t::type &x) |
|
template<> |
const
options::arithStandardCheckVarOrderPivots__option_t::type & | operator[] (options::arithStandardCheckVarOrderPivots__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithStandardCheckVarOrderPivots__option_t) const |
|
template<> |
void | assign (options::arithStandardCheckVarOrderPivots__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::arithErrorSelectionRule__option_t::type & | operator[] (options::arithErrorSelectionRule__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithErrorSelectionRule__option_t) const |
|
template<> |
void | assign (options::arithErrorSelectionRule__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::arithSimplexCheckPeriod__option_t::type & | operator[] (options::arithSimplexCheckPeriod__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithSimplexCheckPeriod__option_t) const |
|
template<> |
void | assign (options::arithSimplexCheckPeriod__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::arithPivotThreshold__option_t, const options::arithPivotThreshold__option_t::type &x) |
|
template<> |
const
options::arithPivotThreshold__option_t::type & | operator[] (options::arithPivotThreshold__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithPivotThreshold__option_t) const |
|
template<> |
void | assign (options::arithPivotThreshold__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::arithPropagateMaxLength__option_t::type & | operator[] (options::arithPropagateMaxLength__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithPropagateMaxLength__option_t) const |
|
template<> |
void | assign (options::arithPropagateMaxLength__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::arithDioSolver__option_t::type & | operator[] (options::arithDioSolver__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithDioSolver__option_t) const |
|
template<> |
void | assignBool (options::arithDioSolver__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::arithRewriteEq__option_t, const options::arithRewriteEq__option_t::type &x) |
|
template<> |
const
options::arithRewriteEq__option_t::type & | operator[] (options::arithRewriteEq__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithRewriteEq__option_t) const |
|
template<> |
void | assignBool (options::arithRewriteEq__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::arithMLTrick__option_t::type & | operator[] (options::arithMLTrick__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithMLTrick__option_t) const |
|
template<> |
void | assignBool (options::arithMLTrick__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::arithMLTrickSubstitutions__option_t::type & | operator[] (options::arithMLTrickSubstitutions__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithMLTrickSubstitutions__option_t) const |
|
template<> |
void | assign (options::arithMLTrickSubstitutions__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::doCutAllBounded__option_t, const options::doCutAllBounded__option_t::type &x) |
|
template<> |
const
options::doCutAllBounded__option_t::type & | operator[] (options::doCutAllBounded__option_t) const |
|
template<> |
bool | wasSetByUser (options::doCutAllBounded__option_t) const |
|
template<> |
void | assignBool (options::doCutAllBounded__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::maxCutsInContext__option_t::type & | operator[] (options::maxCutsInContext__option_t) const |
|
template<> |
bool | wasSetByUser (options::maxCutsInContext__option_t) const |
|
template<> |
void | assign (options::maxCutsInContext__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const
options::revertArithModels__option_t::type & | operator[] (options::revertArithModels__option_t) const |
|
template<> |
bool | wasSetByUser (options::revertArithModels__option_t) const |
|
template<> |
void | assignBool (options::revertArithModels__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::havePenalties__option_t, const options::havePenalties__option_t::type &x) |
|
template<> |
const
options::havePenalties__option_t::type & | operator[] (options::havePenalties__option_t) const |
|
template<> |
bool | wasSetByUser (options::havePenalties__option_t) const |
|
template<> |
void | assignBool (options::havePenalties__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::useFC__option_t, const options::useFC__option_t::type &x) |
|
template<> |
const
options::useFC__option_t::type & | operator[] (options::useFC__option_t) const |
|
template<> |
bool | wasSetByUser (options::useFC__option_t) const |
|
template<> |
void | assignBool (options::useFC__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::useSOI__option_t, const options::useSOI__option_t::type &x) |
|
template<> |
const
options::useSOI__option_t::type & | operator[] (options::useSOI__option_t) const |
|
template<> |
bool | wasSetByUser (options::useSOI__option_t) const |
|
template<> |
void | assignBool (options::useSOI__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::restrictedPivots__option_t, const options::restrictedPivots__option_t::type &x) |
|
template<> |
const
options::restrictedPivots__option_t::type & | operator[] (options::restrictedPivots__option_t) const |
|
template<> |
bool | wasSetByUser (options::restrictedPivots__option_t) const |
|
template<> |
void | assignBool (options::restrictedPivots__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::collectPivots__option_t, const options::collectPivots__option_t::type &x) |
|
template<> |
const
options::collectPivots__option_t::type & | operator[] (options::collectPivots__option_t) const |
|
template<> |
bool | wasSetByUser (options::collectPivots__option_t) const |
|
template<> |
void | assignBool (options::collectPivots__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::fancyFinal__option_t, const options::fancyFinal__option_t::type &x) |
|
template<> |
const
options::fancyFinal__option_t::type & | operator[] (options::fancyFinal__option_t) const |
|
template<> |
bool | wasSetByUser (options::fancyFinal__option_t) const |
|
template<> |
void | assignBool (options::fancyFinal__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::exportDioDecompositions__option_t, const options::exportDioDecompositions__option_t::type &x) |
|
template<> |
const
options::exportDioDecompositions__option_t::type & | operator[] (options::exportDioDecompositions__option_t) const |
|
template<> |
bool | wasSetByUser (options::exportDioDecompositions__option_t) const |
|
template<> |
void | assignBool (options::exportDioDecompositions__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::newProp__option_t, const options::newProp__option_t::type &x) |
|
template<> |
const
options::newProp__option_t::type & | operator[] (options::newProp__option_t) const |
|
template<> |
bool | wasSetByUser (options::newProp__option_t) const |
|
template<> |
void | assignBool (options::newProp__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::arithPropAsLemmaLength__option_t, const options::arithPropAsLemmaLength__option_t::type &x) |
|
template<> |
const
options::arithPropAsLemmaLength__option_t::type & | operator[] (options::arithPropAsLemmaLength__option_t) const |
|
template<> |
bool | wasSetByUser (options::arithPropAsLemmaLength__option_t) const |
|
template<> |
void | assign (options::arithPropAsLemmaLength__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::soiQuickExplain__option_t, const options::soiQuickExplain__option_t::type &x) |
|
template<> |
const
options::soiQuickExplain__option_t::type & | operator[] (options::soiQuickExplain__option_t) const |
|
template<> |
bool | wasSetByUser (options::soiQuickExplain__option_t) const |
|
template<> |
void | assignBool (options::soiQuickExplain__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const
options::rewriteDivk__option_t::type & | operator[] (options::rewriteDivk__option_t) const |
|
template<> |
bool | wasSetByUser (options::rewriteDivk__option_t) const |
|
template<> |
void | assignBool (options::rewriteDivk__option_t, std::string option, bool value, SmtEngine *smt) |
|