|
| 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::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::filesystemAccess__option_t::type & | operator[] (options::filesystemAccess__option_t) const |
|
template<> |
bool | wasSetByUser (options::filesystemAccess__option_t) const |
|
template<> |
void | assignBool (options::filesystemAccess__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::forceLogic__option_t::type & | operator[] (options::forceLogic__option_t) const |
|
template<> |
bool | wasSetByUser (options::forceLogic__option_t) const |
|
template<> |
void | assign (options::forceLogic__option_t, std::string option, std::string 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::checkProofs__option_t::type & | operator[] (options::checkProofs__option_t) const |
|
template<> |
bool | wasSetByUser (options::checkProofs__option_t) const |
|
template<> |
void | assignBool (options::checkProofs__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::dumpProofs__option_t::type & | operator[] (options::dumpProofs__option_t) const |
|
template<> |
bool | wasSetByUser (options::dumpProofs__option_t) const |
|
template<> |
void | assignBool (options::dumpProofs__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::dumpInstantiations__option_t::type & | operator[] (options::dumpInstantiations__option_t) const |
|
template<> |
bool | wasSetByUser (options::dumpInstantiations__option_t) const |
|
template<> |
void | assignBool (options::dumpInstantiations__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::forceNoLimitCpuWhileDump__option_t::type & | operator[] (options::forceNoLimitCpuWhileDump__option_t) const |
|
template<> |
bool | wasSetByUser (options::forceNoLimitCpuWhileDump__option_t) const |
|
template<> |
void | assignBool (options::forceNoLimitCpuWhileDump__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<> |
void | set (options::instFormatMode__option_t, const options::instFormatMode__option_t::type &x) |
|
template<> |
const options::instFormatMode__option_t::type & | operator[] (options::instFormatMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::instFormatMode__option_t) const |
|
template<> |
void | assign (options::instFormatMode__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<> |
const options::statsEveryQuery__option_t::type & | operator[] (options::statsEveryQuery__option_t) const |
|
template<> |
bool | wasSetByUser (options::statsEveryQuery__option_t) const |
|
template<> |
void | assignBool (options::statsEveryQuery__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::statsHideZeros__option_t::type & | operator[] (options::statsHideZeros__option_t) const |
|
template<> |
bool | wasSetByUser (options::statsHideZeros__option_t) const |
|
template<> |
void | assignBool (options::statsHideZeros__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::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<> |
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::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<> |
const options::threadStackSize__option_t::type & | operator[] (options::threadStackSize__option_t) const |
|
template<> |
bool | wasSetByUser (options::threadStackSize__option_t) const |
|
template<> |
void | assign (options::threadStackSize__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::interactivePrompt__option_t::type & | operator[] (options::interactivePrompt__option_t) const |
|
template<> |
bool | wasSetByUser (options::interactivePrompt__option_t) const |
|
template<> |
void | assignBool (options::interactivePrompt__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::continuedExecution__option_t::type & | operator[] (options::continuedExecution__option_t) const |
|
template<> |
bool | wasSetByUser (options::continuedExecution__option_t) const |
|
template<> |
void | assignBool (options::continuedExecution__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::tearDownIncremental__option_t::type & | operator[] (options::tearDownIncremental__option_t) const |
|
template<> |
bool | wasSetByUser (options::tearDownIncremental__option_t) const |
|
template<> |
void | assignBool (options::tearDownIncremental__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<> |
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::useApprox__option_t, const options::useApprox__option_t::type &x) |
|
template<> |
const options::useApprox__option_t::type & | operator[] (options::useApprox__option_t) const |
|
template<> |
bool | wasSetByUser (options::useApprox__option_t) const |
|
template<> |
void | assignBool (options::useApprox__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::maxApproxDepth__option_t, const options::maxApproxDepth__option_t::type &x) |
|
template<> |
const options::maxApproxDepth__option_t::type & | operator[] (options::maxApproxDepth__option_t) const |
|
template<> |
bool | wasSetByUser (options::maxApproxDepth__option_t) const |
|
template<> |
void | assign (options::maxApproxDepth__option_t, std::string option, std::string 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<> |
void | set (options::rewriteDivk__option_t, const options::rewriteDivk__option_t::type &x) |
|
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) |
|
template<> |
const options::trySolveIntStandardEffort__option_t::type & | operator[] (options::trySolveIntStandardEffort__option_t) const |
|
template<> |
bool | wasSetByUser (options::trySolveIntStandardEffort__option_t) const |
|
template<> |
void | assignBool (options::trySolveIntStandardEffort__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::replayFailureLemma__option_t::type & | operator[] (options::replayFailureLemma__option_t) const |
|
template<> |
bool | wasSetByUser (options::replayFailureLemma__option_t) const |
|
template<> |
void | assignBool (options::replayFailureLemma__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::dioSolverTurns__option_t::type & | operator[] (options::dioSolverTurns__option_t) const |
|
template<> |
bool | wasSetByUser (options::dioSolverTurns__option_t) const |
|
template<> |
void | assign (options::dioSolverTurns__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::rrTurns__option_t::type & | operator[] (options::rrTurns__option_t) const |
|
template<> |
bool | wasSetByUser (options::rrTurns__option_t) const |
|
template<> |
void | assign (options::rrTurns__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::dioRepeat__option_t::type & | operator[] (options::dioRepeat__option_t) const |
|
template<> |
bool | wasSetByUser (options::dioRepeat__option_t) const |
|
template<> |
void | assignBool (options::dioRepeat__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::replayEarlyCloseDepths__option_t::type & | operator[] (options::replayEarlyCloseDepths__option_t) const |
|
template<> |
bool | wasSetByUser (options::replayEarlyCloseDepths__option_t) const |
|
template<> |
void | assign (options::replayEarlyCloseDepths__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::replayFailurePenalty__option_t::type & | operator[] (options::replayFailurePenalty__option_t) const |
|
template<> |
bool | wasSetByUser (options::replayFailurePenalty__option_t) const |
|
template<> |
void | assign (options::replayFailurePenalty__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::replayNumericFailurePenalty__option_t::type & | operator[] (options::replayNumericFailurePenalty__option_t) const |
|
template<> |
bool | wasSetByUser (options::replayNumericFailurePenalty__option_t) const |
|
template<> |
void | assign (options::replayNumericFailurePenalty__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::replayRejectCutSize__option_t::type & | operator[] (options::replayRejectCutSize__option_t) const |
|
template<> |
bool | wasSetByUser (options::replayRejectCutSize__option_t) const |
|
template<> |
void | assign (options::replayRejectCutSize__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::lemmaRejectCutSize__option_t::type & | operator[] (options::lemmaRejectCutSize__option_t) const |
|
template<> |
bool | wasSetByUser (options::lemmaRejectCutSize__option_t) const |
|
template<> |
void | assign (options::lemmaRejectCutSize__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::soiApproxMajorFailure__option_t::type & | operator[] (options::soiApproxMajorFailure__option_t) const |
|
template<> |
bool | wasSetByUser (options::soiApproxMajorFailure__option_t) const |
|
template<> |
void | assign (options::soiApproxMajorFailure__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::soiApproxMajorFailurePen__option_t::type & | operator[] (options::soiApproxMajorFailurePen__option_t) const |
|
template<> |
bool | wasSetByUser (options::soiApproxMajorFailurePen__option_t) const |
|
template<> |
void | assign (options::soiApproxMajorFailurePen__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::soiApproxMinorFailure__option_t::type & | operator[] (options::soiApproxMinorFailure__option_t) const |
|
template<> |
bool | wasSetByUser (options::soiApproxMinorFailure__option_t) const |
|
template<> |
void | assign (options::soiApproxMinorFailure__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::soiApproxMinorFailurePen__option_t::type & | operator[] (options::soiApproxMinorFailurePen__option_t) const |
|
template<> |
bool | wasSetByUser (options::soiApproxMinorFailurePen__option_t) const |
|
template<> |
void | assign (options::soiApproxMinorFailurePen__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::ppAssertMaxSubSize__option_t::type & | operator[] (options::ppAssertMaxSubSize__option_t) const |
|
template<> |
bool | wasSetByUser (options::ppAssertMaxSubSize__option_t) const |
|
template<> |
void | assign (options::ppAssertMaxSubSize__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::maxReplayTree__option_t::type & | operator[] (options::maxReplayTree__option_t) const |
|
template<> |
bool | wasSetByUser (options::maxReplayTree__option_t) const |
|
template<> |
void | assign (options::maxReplayTree__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::pbRewrites__option_t::type & | operator[] (options::pbRewrites__option_t) const |
|
template<> |
bool | wasSetByUser (options::pbRewrites__option_t) const |
|
template<> |
void | assignBool (options::pbRewrites__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::pbRewriteThreshold__option_t::type & | operator[] (options::pbRewriteThreshold__option_t) const |
|
template<> |
bool | wasSetByUser (options::pbRewriteThreshold__option_t) const |
|
template<> |
void | assign (options::pbRewriteThreshold__option_t, std::string option, std::string 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::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<> |
void | set (options::stringExp__option_t, const options::stringExp__option_t::type &x) |
|
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::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<> |
void | set (options::stringFMF__option_t, const options::stringFMF__option_t::type &x) |
|
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::stringEIT__option_t::type & | operator[] (options::stringEIT__option_t) const |
|
template<> |
bool | wasSetByUser (options::stringEIT__option_t) const |
|
template<> |
void | assignBool (options::stringEIT__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::stringOpt1__option_t::type & | operator[] (options::stringOpt1__option_t) const |
|
template<> |
bool | wasSetByUser (options::stringOpt1__option_t) const |
|
template<> |
void | assignBool (options::stringOpt1__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::stringOpt2__option_t::type & | operator[] (options::stringOpt2__option_t) const |
|
template<> |
bool | wasSetByUser (options::stringOpt2__option_t) const |
|
template<> |
void | assignBool (options::stringOpt2__option_t, std::string option, bool 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::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::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::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::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::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::setsPropagate__option_t::type & | operator[] (options::setsPropagate__option_t) const |
|
template<> |
bool | wasSetByUser (options::setsPropagate__option_t) const |
|
template<> |
void | assignBool (options::setsPropagate__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::setsEagerLemmas__option_t::type & | operator[] (options::setsEagerLemmas__option_t) const |
|
template<> |
bool | wasSetByUser (options::setsEagerLemmas__option_t) const |
|
template<> |
void | assignBool (options::setsEagerLemmas__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::bitblastMode__option_t, const options::bitblastMode__option_t::type &x) |
|
template<> |
const options::bitblastMode__option_t::type & | operator[] (options::bitblastMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitblastMode__option_t) const |
|
template<> |
void | assign (options::bitblastMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::bitvectorAig__option_t, const options::bitvectorAig__option_t::type &x) |
|
template<> |
const options::bitvectorAig__option_t::type & | operator[] (options::bitvectorAig__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorAig__option_t) const |
|
template<> |
void | assignBool (options::bitvectorAig__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::bitvectorAigSimplifications__option_t, const options::bitvectorAigSimplifications__option_t::type &x) |
|
template<> |
const options::bitvectorAigSimplifications__option_t::type & | operator[] (options::bitvectorAigSimplifications__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorAigSimplifications__option_t) const |
|
template<> |
void | assign (options::bitvectorAigSimplifications__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::bitvectorPropagate__option_t, const options::bitvectorPropagate__option_t::type &x) |
|
template<> |
const options::bitvectorPropagate__option_t::type & | operator[] (options::bitvectorPropagate__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorPropagate__option_t) const |
|
template<> |
void | assignBool (options::bitvectorPropagate__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::bitvectorEqualitySolver__option_t, const options::bitvectorEqualitySolver__option_t::type &x) |
|
template<> |
const options::bitvectorEqualitySolver__option_t::type & | operator[] (options::bitvectorEqualitySolver__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorEqualitySolver__option_t) const |
|
template<> |
void | assignBool (options::bitvectorEqualitySolver__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::bitvectorEqualitySlicer__option_t, const options::bitvectorEqualitySlicer__option_t::type &x) |
|
template<> |
const options::bitvectorEqualitySlicer__option_t::type & | operator[] (options::bitvectorEqualitySlicer__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorEqualitySlicer__option_t) const |
|
template<> |
void | assign (options::bitvectorEqualitySlicer__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::bitvectorInequalitySolver__option_t, const options::bitvectorInequalitySolver__option_t::type &x) |
|
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<> |
void | set (options::bitvectorAlgebraicSolver__option_t, const options::bitvectorAlgebraicSolver__option_t::type &x) |
|
template<> |
const options::bitvectorAlgebraicSolver__option_t::type & | operator[] (options::bitvectorAlgebraicSolver__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorAlgebraicSolver__option_t) const |
|
template<> |
void | assignBool (options::bitvectorAlgebraicSolver__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::bitvectorAlgebraicBudget__option_t, const options::bitvectorAlgebraicBudget__option_t::type &x) |
|
template<> |
const options::bitvectorAlgebraicBudget__option_t::type & | operator[] (options::bitvectorAlgebraicBudget__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorAlgebraicBudget__option_t) const |
|
template<> |
void | assign (options::bitvectorAlgebraicBudget__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::bitvectorToBool__option_t, const options::bitvectorToBool__option_t::type &x) |
|
template<> |
const options::bitvectorToBool__option_t::type & | operator[] (options::bitvectorToBool__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorToBool__option_t) const |
|
template<> |
void | assignBool (options::bitvectorToBool__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::bitvectorDivByZeroConst__option_t::type & | operator[] (options::bitvectorDivByZeroConst__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorDivByZeroConst__option_t) const |
|
template<> |
void | assignBool (options::bitvectorDivByZeroConst__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::bvAbstraction__option_t, const options::bvAbstraction__option_t::type &x) |
|
template<> |
const options::bvAbstraction__option_t::type & | operator[] (options::bvAbstraction__option_t) const |
|
template<> |
bool | wasSetByUser (options::bvAbstraction__option_t) const |
|
template<> |
void | assignBool (options::bvAbstraction__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
void | set (options::skolemizeArguments__option_t, const options::skolemizeArguments__option_t::type &x) |
|
template<> |
const options::skolemizeArguments__option_t::type & | operator[] (options::skolemizeArguments__option_t) const |
|
template<> |
bool | wasSetByUser (options::skolemizeArguments__option_t) const |
|
template<> |
void | assignBool (options::skolemizeArguments__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::bvNumFunc__option_t::type & | operator[] (options::bvNumFunc__option_t) const |
|
template<> |
bool | wasSetByUser (options::bvNumFunc__option_t) const |
|
template<> |
void | assign (options::bvNumFunc__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::bvEagerExplanations__option_t, const options::bvEagerExplanations__option_t::type &x) |
|
template<> |
const options::bvEagerExplanations__option_t::type & | operator[] (options::bvEagerExplanations__option_t) const |
|
template<> |
bool | wasSetByUser (options::bvEagerExplanations__option_t) const |
|
template<> |
void | assignBool (options::bvEagerExplanations__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::bitvectorQuickXplain__option_t::type & | operator[] (options::bitvectorQuickXplain__option_t) const |
|
template<> |
bool | wasSetByUser (options::bitvectorQuickXplain__option_t) const |
|
template<> |
void | assignBool (options::bitvectorQuickXplain__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::bvIntroducePow2__option_t::type & | operator[] (options::bvIntroducePow2__option_t) const |
|
template<> |
bool | wasSetByUser (options::bvIntroducePow2__option_t) const |
|
template<> |
void | assignBool (options::bvIntroducePow2__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<> |
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::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::nnfQuant__option_t::type & | operator[] (options::nnfQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::nnfQuant__option_t) const |
|
template<> |
void | assignBool (options::nnfQuant__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<> |
void | set (options::preSkolemQuant__option_t, const options::preSkolemQuant__option_t::type &x) |
|
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::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::instMaxLevel__option_t::type & | operator[] (options::instMaxLevel__option_t) const |
|
template<> |
bool | wasSetByUser (options::instMaxLevel__option_t) const |
|
template<> |
void | assign (options::instMaxLevel__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::fullSaturateQuant__option_t::type & | operator[] (options::fullSaturateQuant__option_t) const |
|
template<> |
bool | wasSetByUser (options::fullSaturateQuant__option_t) const |
|
template<> |
void | assignBool (options::fullSaturateQuant__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<> |
void | set (options::cbqi__option_t, const options::cbqi__option_t::type &x) |
|
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 | assign (options::userPatternsQuant__option_t, std::string option, std::string 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<> |
void | set (options::finiteModelFind__option_t, const options::finiteModelFind__option_t::type &x) |
|
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<> |
void | set (options::mbqiMode__option_t, const options::mbqiMode__option_t::type &x) |
|
template<> |
const options::mbqiMode__option_t::type & | operator[] (options::mbqiMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::mbqiMode__option_t) const |
|
template<> |
void | assign (options::mbqiMode__option_t, std::string option, std::string 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::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::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<> |
void | set (options::fmfBoundInt__option_t, const options::fmfBoundInt__option_t::type &x) |
|
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<> |
void | set (options::fmfBoundIntLazy__option_t, const options::fmfBoundIntLazy__option_t::type &x) |
|
template<> |
const options::fmfBoundIntLazy__option_t::type & | operator[] (options::fmfBoundIntLazy__option_t) const |
|
template<> |
bool | wasSetByUser (options::fmfBoundIntLazy__option_t) const |
|
template<> |
void | assignBool (options::fmfBoundIntLazy__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<> |
void | set (options::quantConflictFind__option_t, const options::quantConflictFind__option_t::type &x) |
|
template<> |
const options::quantConflictFind__option_t::type & | operator[] (options::quantConflictFind__option_t) const |
|
template<> |
bool | wasSetByUser (options::quantConflictFind__option_t) const |
|
template<> |
void | assignBool (options::quantConflictFind__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::qcfMode__option_t::type & | operator[] (options::qcfMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::qcfMode__option_t) const |
|
template<> |
void | assign (options::qcfMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
const options::qcfWhenMode__option_t::type & | operator[] (options::qcfWhenMode__option_t) const |
|
template<> |
bool | wasSetByUser (options::qcfWhenMode__option_t) const |
|
template<> |
void | assign (options::qcfWhenMode__option_t, std::string option, std::string value, SmtEngine *smt) |
|
template<> |
void | set (options::qcfTConstraint__option_t, const options::qcfTConstraint__option_t::type &x) |
|
template<> |
const options::qcfTConstraint__option_t::type & | operator[] (options::qcfTConstraint__option_t) const |
|
template<> |
bool | wasSetByUser (options::qcfTConstraint__option_t) const |
|
template<> |
void | assignBool (options::qcfTConstraint__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::quantRewriteRules__option_t::type & | operator[] (options::quantRewriteRules__option_t) const |
|
template<> |
bool | wasSetByUser (options::quantRewriteRules__option_t) const |
|
template<> |
void | assignBool (options::quantRewriteRules__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::rrOneInstPerRound__option_t::type & | operator[] (options::rrOneInstPerRound__option_t) const |
|
template<> |
bool | wasSetByUser (options::rrOneInstPerRound__option_t) const |
|
template<> |
void | assignBool (options::rrOneInstPerRound__option_t, std::string option, bool value, SmtEngine *smt) |
|
template<> |
const options::dtStcInduction__option_t::type & | operator[] (options::dtStcInduction__option_t) const |
|
template<> |
bool | wasSetByUser (options::dtStcInduction__option_t) const |
|
template<> |
void | assignBool (options::dtStcInduction__option_t, std::string option, bool value, SmtEngine *smt) |
|