cvc4-1.3
|
struct CVC4::options::abstractValues__option_t CVC4::options::abstractValues |
struct CVC4::options::aggressiveMiniscopeQuant__option_t CVC4::options::aggressiveMiniscopeQuant |
struct CVC4::options::arithDioSolver__option_t CVC4::options::arithDioSolver |
struct CVC4::options::arithErrorSelectionRule__option_t CVC4::options::arithErrorSelectionRule |
struct CVC4::options::arithHeuristicPivots__option_t CVC4::options::arithHeuristicPivots |
struct CVC4::options::arithMLTrick__option_t CVC4::options::arithMLTrick |
struct CVC4::options::arithMLTrickSubstitutions__option_t CVC4::options::arithMLTrickSubstitutions |
struct CVC4::options::arithPivotThreshold__option_t CVC4::options::arithPivotThreshold |
struct CVC4::options::arithPropagateMaxLength__option_t CVC4::options::arithPropagateMaxLength |
struct CVC4::options::arithPropagationMode__option_t CVC4::options::arithPropagationMode |
struct CVC4::options::arithPropAsLemmaLength__option_t CVC4::options::arithPropAsLemmaLength |
struct CVC4::options::arithRewriteEq__option_t CVC4::options::arithRewriteEq |
struct CVC4::options::arithSimplexCheckPeriod__option_t CVC4::options::arithSimplexCheckPeriod |
struct CVC4::options::arithStandardCheckVarOrderPivots__option_t CVC4::options::arithStandardCheckVarOrderPivots |
struct CVC4::options::arithUnateLemmaMode__option_t CVC4::options::arithUnateLemmaMode |
struct CVC4::options::arraysEagerIndexSplitting__option_t CVC4::options::arraysEagerIndexSplitting |
struct CVC4::options::arraysEagerLemmas__option_t CVC4::options::arraysEagerLemmas |
struct CVC4::options::arraysLazyRIntro1__option_t CVC4::options::arraysLazyRIntro1 |
struct CVC4::options::arraysModelBased__option_t CVC4::options::arraysModelBased |
struct CVC4::options::arraysOptimizeLinear__option_t CVC4::options::arraysOptimizeLinear |
struct CVC4::options::axiomInstMode__option_t CVC4::options::axiomInstMode |
struct CVC4::options::biasedITERemoval__option_t CVC4::options::biasedITERemoval |
struct CVC4::options::binary_name__option_t CVC4::options::binary_name |
struct CVC4::options::bitvectorCoreSolver__option_t CVC4::options::bitvectorCoreSolver |
struct CVC4::options::bitvectorEagerBitblast__option_t CVC4::options::bitvectorEagerBitblast |
struct CVC4::options::bitvectorEagerFullcheck__option_t CVC4::options::bitvectorEagerFullcheck |
struct CVC4::options::bitvectorInequalitySolver__option_t CVC4::options::bitvectorInequalitySolver |
struct CVC4::options::bitvectorShareLemmas__option_t CVC4::options::bitvectorShareLemmas |
struct CVC4::options::booleanTermConversionMode__option_t CVC4::options::booleanTermConversionMode |
struct CVC4::options::bvEquality__option_t CVC4::options::bvEquality |
struct CVC4::options::bvPropagate__option_t CVC4::options::bvPropagate |
struct CVC4::options::bvToBool__option_t CVC4::options::bvToBool |
struct CVC4::options::canIncludeFile__option_t CVC4::options::canIncludeFile |
struct CVC4::options::cbqi__option_t CVC4::options::cbqi |
struct CVC4::options::checkModels__option_t CVC4::options::checkModels |
struct CVC4::options::clauseSplit__option_t CVC4::options::clauseSplit |
struct CVC4::options::cnfQuant__option_t CVC4::options::cnfQuant |
struct CVC4::options::collectPivots__option_t CVC4::options::collectPivots |
struct CVC4::options::compressItes__option_t CVC4::options::compressItes |
struct CVC4::options::condenseFunctionValues__option_t CVC4::options::condenseFunctionValues |
struct CVC4::options::cumulativeMillisecondLimit__option_t CVC4::options::cumulativeMillisecondLimit |
struct CVC4::options::cumulativeResourceLimit__option_t CVC4::options::cumulativeResourceLimit |
struct CVC4::options::decisionMode__option_t CVC4::options::decisionMode |
struct CVC4::options::decisionRandomWeight__option_t CVC4::options::decisionRandomWeight |
struct CVC4::options::decisionStopOnly__option_t CVC4::options::decisionStopOnly |
struct CVC4::options::decisionThreshold__option_t CVC4::options::decisionThreshold |
struct CVC4::options::decisionUseWeight__option_t CVC4::options::decisionUseWeight |
struct CVC4::options::decisionWeightInternal__option_t CVC4::options::decisionWeightInternal |
struct CVC4::options::defaultDagThresh__option_t CVC4::options::defaultDagThresh |
Referenced by CVC4::expr::ExprDag::getDag().
struct CVC4::options::defaultExprDepth__option_t CVC4::options::defaultExprDepth |
Referenced by CVC4::expr::ExprSetDepth::getDepth().
struct CVC4::options::doCutAllBounded__option_t CVC4::options::doCutAllBounded |
struct CVC4::options::doITESimp__option_t CVC4::options::doITESimp |
struct CVC4::options::doITESimpOnRepeat__option_t CVC4::options::doITESimpOnRepeat |
struct CVC4::options::doStaticLearning__option_t CVC4::options::doStaticLearning |
struct CVC4::options::dtForceAssignment__option_t CVC4::options::dtForceAssignment |
struct CVC4::options::dtRewriteErrorSel__option_t CVC4::options::dtRewriteErrorSel |
struct CVC4::options::dumpModels__option_t CVC4::options::dumpModels |
struct CVC4::options::eagerInstQuant__option_t CVC4::options::eagerInstQuant |
struct CVC4::options::earlyExit__option_t CVC4::options::earlyExit |
struct CVC4::options::earlyTypeChecking__option_t CVC4::options::earlyTypeChecking |
struct CVC4::options::efficientEMatching__option_t CVC4::options::efficientEMatching |
struct CVC4::options::err__option_t CVC4::options::err |
struct CVC4::options::expandDefinitions__option_t CVC4::options::expandDefinitions |
struct CVC4::options::exportDioDecompositions__option_t CVC4::options::exportDioDecompositions |
struct CVC4::options::fallbackSequential__option_t CVC4::options::fallbackSequential |
struct CVC4::options::fancyFinal__option_t CVC4::options::fancyFinal |
struct CVC4::options::finiteModelFind__option_t CVC4::options::finiteModelFind |
struct CVC4::options::flipDecision__option_t CVC4::options::flipDecision |
struct CVC4::options::fmfBoundInt__option_t CVC4::options::fmfBoundInt |
struct CVC4::options::fmfFmcCoverSimplify__option_t CVC4::options::fmfFmcCoverSimplify |
struct CVC4::options::fmfFmcInterval__option_t CVC4::options::fmfFmcInterval |
struct CVC4::options::fmfFmcSimple__option_t CVC4::options::fmfFmcSimple |
struct CVC4::options::fmfFreshDistConst__option_t CVC4::options::fmfFreshDistConst |
struct CVC4::options::fmfFullModelCheck__option_t CVC4::options::fmfFullModelCheck |
struct CVC4::options::fmfInstEngine__option_t CVC4::options::fmfInstEngine |
struct CVC4::options::fmfInstGen__option_t CVC4::options::fmfInstGen |
struct CVC4::options::fmfInstGenOneQuantPerRound__option_t CVC4::options::fmfInstGenOneQuantPerRound |
struct CVC4::options::fmfModelBasedInst__option_t CVC4::options::fmfModelBasedInst |
struct CVC4::options::fmfNewInstGen__option_t CVC4::options::fmfNewInstGen |
struct CVC4::options::fmfOneInstPerRound__option_t CVC4::options::fmfOneInstPerRound |
struct CVC4::options::fmfOneQuantPerRound__option_t CVC4::options::fmfOneQuantPerRound |
struct CVC4::options::fmfRelevantDomain__option_t CVC4::options::fmfRelevantDomain |
struct CVC4::options::foPropQuant__option_t CVC4::options::foPropQuant |
struct CVC4::options::havePenalties__option_t CVC4::options::havePenalties |
struct CVC4::options::help__option_t CVC4::options::help |
struct CVC4::options::idlRewriteEq__option_t CVC4::options::idlRewriteEq |
struct CVC4::options::in__option_t CVC4::options::in |
struct CVC4::options::incrementalParallel__option_t CVC4::options::incrementalParallel |
struct CVC4::options::incrementalSolving__option_t CVC4::options::incrementalSolving |
struct CVC4::options::inputLanguage__option_t CVC4::options::inputLanguage |
struct CVC4::options::instWhenMode__option_t CVC4::options::instWhenMode |
struct CVC4::options::interactive__option_t CVC4::options::interactive |
struct CVC4::options::internalReps__option_t CVC4::options::internalReps |
struct CVC4::options::iteRemoveQuant__option_t CVC4::options::iteRemoveQuant |
struct CVC4::options::languageHelp__option_t CVC4::options::languageHelp |
struct CVC4::options::lemmaInputChannel__option_t CVC4::options::lemmaInputChannel |
struct CVC4::options::lemmaOutputChannel__option_t CVC4::options::lemmaOutputChannel |
struct CVC4::options::literalMatchMode__option_t CVC4::options::literalMatchMode |
struct CVC4::options::macrosQuant__option_t CVC4::options::macrosQuant |
struct CVC4::options::maxCutsInContext__option_t CVC4::options::maxCutsInContext |
struct CVC4::options::memoryMap__option_t CVC4::options::memoryMap |
struct CVC4::options::minisatDumpDimacs__option_t CVC4::options::minisatDumpDimacs |
struct CVC4::options::minisatUseElim__option_t CVC4::options::minisatUseElim |
struct CVC4::options::miniscopeQuant__option_t CVC4::options::miniscopeQuant |
struct CVC4::options::miniscopeQuantFreeVar__option_t CVC4::options::miniscopeQuantFreeVar |
struct CVC4::options::modelFormatMode__option_t CVC4::options::modelFormatMode |
struct CVC4::options::modelUninterpDtEnum__option_t CVC4::options::modelUninterpDtEnum |
struct CVC4::options::newProp__option_t CVC4::options::newProp |
struct CVC4::options::out__option_t CVC4::options::out |
Referenced by CVC4::CommandPrintSuccess::applyPrintSuccess(), CVC4::CommandPrintSuccess::getPrintSuccess(), CVC4::language::input::operator<<(), CVC4::language::output::operator<<(), CVC4::kind::operator<<(), CVC4::operator<<(), CVC4::theory::operator<<(), CVC4::expr::operator<<(), CVC4::CommandPrintSuccess::Scope::Scope(), and CVC4::CommandPrintSuccess::setPrintSuccess().
struct CVC4::options::outputLanguage__option_t CVC4::options::outputLanguage |
Referenced by CVC4::expr::ExprSetLanguage::getLanguage().
struct CVC4::options::parseOnly__option_t CVC4::options::parseOnly |
struct CVC4::options::perCallMillisecondLimit__option_t CVC4::options::perCallMillisecondLimit |
struct CVC4::options::perCallResourceLimit__option_t CVC4::options::perCallResourceLimit |
struct CVC4::options::prenexQuant__option_t CVC4::options::prenexQuant |
struct CVC4::options::preprocessOnly__option_t CVC4::options::preprocessOnly |
struct CVC4::options::preSkolemQuant__option_t CVC4::options::preSkolemQuant |
struct CVC4::options::printSuccess__option_t CVC4::options::printSuccess |
struct CVC4::options::produceAssignments__option_t CVC4::options::produceAssignments |
struct CVC4::options::produceModels__option_t CVC4::options::produceModels |
struct CVC4::options::proof__option_t CVC4::options::proof |
struct CVC4::options::recurseCbqi__option_t CVC4::options::recurseCbqi |
struct CVC4::options::registerQuantBodyTerms__option_t CVC4::options::registerQuantBodyTerms |
struct CVC4::options::relationalTriggers__option_t CVC4::options::relationalTriggers |
struct CVC4::options::relevantTriggers__option_t CVC4::options::relevantTriggers |
struct CVC4::options::repeatSimp__option_t CVC4::options::repeatSimp |
struct CVC4::options::replayFilename__option_t CVC4::options::replayFilename |
struct CVC4::options::replayLog__option_t CVC4::options::replayLog |
struct CVC4::options::replayStream__option_t CVC4::options::replayStream |
struct CVC4::options::restrictedPivots__option_t CVC4::options::restrictedPivots |
struct CVC4::options::revertArithModels__option_t CVC4::options::revertArithModels |
struct CVC4::options::rewriteApplyToConst__option_t CVC4::options::rewriteApplyToConst |
struct CVC4::options::rewriteDivk__option_t CVC4::options::rewriteDivk |
struct CVC4::options::rewriteRulesAsAxioms__option_t CVC4::options::rewriteRulesAsAxioms |
struct CVC4::options::sat_refine_conflicts__option_t CVC4::options::sat_refine_conflicts |
struct CVC4::options::satClauseDecay__option_t CVC4::options::satClauseDecay |
struct CVC4::options::satRandomFreq__option_t CVC4::options::satRandomFreq |
struct CVC4::options::satRandomSeed__option_t CVC4::options::satRandomSeed |
struct CVC4::options::satRestartFirst__option_t CVC4::options::satRestartFirst |
struct CVC4::options::satRestartInc__option_t CVC4::options::satRestartInc |
struct CVC4::options::satVarDecay__option_t CVC4::options::satVarDecay |
struct CVC4::options::segvSpin__option_t CVC4::options::segvSpin |
struct CVC4::options::semanticChecks__option_t CVC4::options::semanticChecks |
struct CVC4::options::sharingFilterByLength__option_t CVC4::options::sharingFilterByLength |
struct CVC4::options::simpleIteLiftQuant__option_t CVC4::options::simpleIteLiftQuant |
struct CVC4::options::simplificationMode__option_t CVC4::options::simplificationMode |
struct CVC4::options::simplifyWithCareEnabled__option_t CVC4::options::simplifyWithCareEnabled |
struct CVC4::options::smartTriggers__option_t CVC4::options::smartTriggers |
struct CVC4::options::soiQuickExplain__option_t CVC4::options::soiQuickExplain |
struct CVC4::options::sortInference__option_t CVC4::options::sortInference |
struct CVC4::options::statistics__option_t CVC4::options::statistics |
struct CVC4::options::strictParsing__option_t CVC4::options::strictParsing |
struct CVC4::options::stringCharCardinality__option_t CVC4::options::stringCharCardinality |
struct CVC4::options::stringExp__option_t CVC4::options::stringExp |
struct CVC4::options::stringFMF__option_t CVC4::options::stringFMF |
struct CVC4::options::stringLB__option_t CVC4::options::stringLB |
struct CVC4::options::stringRegExpUnrollDepth__option_t CVC4::options::stringRegExpUnrollDepth |
struct CVC4::options::theoryAlternates__option_t CVC4::options::theoryAlternates |
struct CVC4::options::theoryOfMode__option_t CVC4::options::theoryOfMode |
struct CVC4::options::thread_id__option_t CVC4::options::thread_id |
struct CVC4::options::threadArgv__option_t CVC4::options::threadArgv |
struct CVC4::options::threads__option_t CVC4::options::threads |
struct CVC4::options::typeChecking__option_t CVC4::options::typeChecking |
struct CVC4::options::ufssAbortCardinality__option_t CVC4::options::ufssAbortCardinality |
struct CVC4::options::ufssCliqueSplits__option_t CVC4::options::ufssCliqueSplits |
struct CVC4::options::ufssColoringSat__option_t CVC4::options::ufssColoringSat |
struct CVC4::options::ufssDiseqPropagation__option_t CVC4::options::ufssDiseqPropagation |
struct CVC4::options::ufssEagerSplits__option_t CVC4::options::ufssEagerSplits |
struct CVC4::options::ufssExplainedCliques__option_t CVC4::options::ufssExplainedCliques |
struct CVC4::options::ufssFairness__option_t CVC4::options::ufssFairness |
struct CVC4::options::ufssMinimalModel__option_t CVC4::options::ufssMinimalModel |
struct CVC4::options::ufssRegions__option_t CVC4::options::ufssRegions |
struct CVC4::options::ufssSimpleCliques__option_t CVC4::options::ufssSimpleCliques |
struct CVC4::options::ufssSmartSplits__option_t CVC4::options::ufssSmartSplits |
struct CVC4::options::ufssSymBreak__option_t CVC4::options::ufssSymBreak |
struct CVC4::options::ufssTotality__option_t CVC4::options::ufssTotality |
struct CVC4::options::ufssTotalityLazy__option_t CVC4::options::ufssTotalityLazy |
struct CVC4::options::ufssTotalityLimited__option_t CVC4::options::ufssTotalityLimited |
struct CVC4::options::ufssTotalitySymBreak__option_t CVC4::options::ufssTotalitySymBreak |
struct CVC4::options::ufSymmetryBreaker__option_t CVC4::options::ufSymmetryBreaker |
struct CVC4::options::unconstrainedSimp__option_t CVC4::options::unconstrainedSimp |
struct CVC4::options::unsatCores__option_t CVC4::options::unsatCores |
struct CVC4::options::useFC__option_t CVC4::options::useFC |
struct CVC4::options::userPatternsQuant__option_t CVC4::options::userPatternsQuant |
struct CVC4::options::useSOI__option_t CVC4::options::useSOI |
struct CVC4::options::varElimQuant__option_t CVC4::options::varElimQuant |
struct CVC4::options::verbosity__option_t CVC4::options::verbosity |
struct CVC4::options::version__option_t CVC4::options::version |
struct CVC4::options::waitToJoin__option_t CVC4::options::waitToJoin |
struct CVC4::options::zombieHuntThreshold__option_t CVC4::options::zombieHuntThreshold |