CVC4::options Namespace Reference

## Data Structures

struct | abstractValues__option_t
struct | aggressiveMiniscopeQuant__option_t
struct | arithDioSolver__option_t
struct | arithErrorSelectionRule__option_t
struct | arithHeuristicPivots__option_t
struct | arithMLTrick__option_t
struct | arithMLTrickSubstitutions__option_t
struct | arithPivotThreshold__option_t
struct | arithPropagateMaxLength__option_t
struct | arithPropagationMode__option_t
struct | arithPropAsLemmaLength__option_t
struct | arithRewriteEq__option_t
struct | arithSimplexCheckPeriod__option_t
struct | arithStandardCheckVarOrderPivots__option_t
struct | arithUnateLemmaMode__option_t
struct | arraysEagerIndexSplitting__option_t
struct | arraysEagerLemmas__option_t
struct | arraysLazyRIntro1__option_t
struct | arraysModelBased__option_t
struct | arraysOptimizeLinear__option_t
struct | axiomInstMode__option_t
struct | biasedITERemoval__option_t
struct | binary_name__option_t
struct | bitblastMode__option_t
struct | bitvectorAig__option_t
struct | bitvectorAigSimplifications__option_t
struct | bitvectorAlgebraicBudget__option_t
struct | bitvectorAlgebraicSolver__option_t
struct | bitvectorDivByZeroConst__option_t
struct | bitvectorEqualitySlicer__option_t
struct | bitvectorEqualitySolver__option_t
struct | bitvectorInequalitySolver__option_t
struct | bitvectorPropagate__option_t
struct | bitvectorQuickXplain__option_t
struct | bitvectorToBool__option_t
struct | booleanTermConversionMode__option_t
struct | bvAbstraction__option_t
struct | bvEagerExplanations__option_t
struct | bvIntroducePow2__option_t
struct | bvNumFunc__option_t
struct | cbqi__option_t
struct | checkModels__option_t
struct | checkProofs__option_t
struct | clauseSplit__option_t
struct | cnfQuant__option_t
struct | collectPivots__option_t
struct | compressItes__option_t
struct | condenseFunctionValues__option_t
struct | continuedExecution__option_t
struct | cumulativeMillisecondLimit__option_t
struct | cumulativeResourceLimit__option_t
struct | decisionMode__option_t
struct | decisionRandomWeight__option_t
struct | decisionStopOnly__option_t
struct | decisionThreshold__option_t
struct | decisionUseWeight__option_t
struct | decisionWeightInternal__option_t
struct | defaultDagThresh__option_t
struct | defaultExprDepth__option_t
struct | dioRepeat__option_t
struct | dioSolverTurns__option_t
struct | doCutAllBounded__option_t
struct | doITESimp__option_t
struct | doITESimpOnRepeat__option_t
struct | doStaticLearning__option_t
struct | dtForceAssignment__option_t
struct | dtRewriteErrorSel__option_t
struct | dtStcInduction__option_t
struct | dumpInstantiations__option_t
struct | dumpModels__option_t
struct | dumpProofs__option_t
struct | eagerInstQuant__option_t
struct | earlyExit__option_t
struct | earlyTypeChecking__option_t
struct | err__option_t
struct | expandDefinitions__option_t
struct | exportDioDecompositions__option_t
struct | fallbackSequential__option_t
struct | filesystemAccess__option_t
struct | finiteModelFind__option_t
struct | flipDecision__option_t
struct | fmfBoundInt__option_t
struct | fmfBoundIntLazy__option_t
struct | fmfFmcSimple__option_t
struct | fmfFreshDistConst__option_t
struct | fmfInstEngine__option_t
struct | fmfInstGen__option_t
struct | fmfInstGenOneQuantPerRound__option_t
struct | fmfOneInstPerRound__option_t
struct | fmfOneQuantPerRound__option_t
struct | foPropQuant__option_t
struct | forceLogic__option_t
struct | forceNoLimitCpuWhileDump__option_t
struct | fullSaturateQuant__option_t
struct | havePenalties__option_t
struct | help__option_t
struct | idlRewriteEq__option_t
struct | in__option_t
struct | incrementalParallel__option_t
struct | incrementalSolving__option_t
struct | inputLanguage__option_t
struct | instFormatMode__option_t
struct | instMaxLevel__option_t
struct | instWhenMode__option_t
struct | interactive__option_t
struct | interactivePrompt__option_t
struct | internalReps__option_t
struct | languageHelp__option_t
struct | lemmaInputChannel__option_t
struct | lemmaOutputChannel__option_t
struct | lemmaRejectCutSize__option_t
struct | literalMatchMode__option_t
struct | macrosQuant__option_t
struct | maxApproxDepth__option_t
struct | maxCutsInContext__option_t
struct | maxReplayTree__option_t
struct | mbqiMode__option_t
struct | memoryMap__option_t
struct | minisatDumpDimacs__option_t
struct | minisatUseElim__option_t
struct | miniscopeQuant__option_t
struct | miniscopeQuantFreeVar__option_t
struct | modelFormatMode__option_t
struct | modelUninterpDtEnum__option_t
struct | newProp__option_t
struct | nnfQuant__option_t
struct | out__option_t
struct | outputLanguage__option_t
struct | parseOnly__option_t
struct | pbRewrites__option_t
struct | pbRewriteThreshold__option_t
struct | perCallMillisecondLimit__option_t
struct | perCallResourceLimit__option_t
struct | ppAssertMaxSubSize__option_t
struct | prenexQuant__option_t
struct | preprocessOnly__option_t
struct | preSkolemQuant__option_t
struct | printSuccess__option_t
struct | produceAssignments__option_t
struct | produceModels__option_t
struct | proof__option_t
struct | qcfMode__option_t
struct | qcfTConstraint__option_t
struct | qcfWhenMode__option_t
struct | quantConflictFind__option_t
struct | quantRewriteRules__option_t
struct | recurseCbqi__option_t
struct | registerQuantBodyTerms__option_t
struct | relationalTriggers__option_t
struct | relevantTriggers__option_t
struct | repeatSimp__option_t
struct | replayEarlyCloseDepths__option_t
struct | replayFailureLemma__option_t
struct | replayFailurePenalty__option_t
struct | replayFilename__option_t
struct | replayLog__option_t
struct | replayNumericFailurePenalty__option_t
struct | replayRejectCutSize__option_t
struct | replayStream__option_t
struct | restrictedPivots__option_t
struct | revertArithModels__option_t
struct | rewriteApplyToConst__option_t
struct | rewriteDivk__option_t
struct | rrOneInstPerRound__option_t
struct | rrTurns__option_t
struct | sat_refine_conflicts__option_t
struct | satClauseDecay__option_t
struct | satRandomFreq__option_t
struct | satRandomSeed__option_t
struct | satRestartFirst__option_t
struct | satRestartInc__option_t
struct | satVarDecay__option_t
struct | segvSpin__option_t
struct | semanticChecks__option_t
struct | setsEagerLemmas__option_t
struct | setsPropagate__option_t
struct | sharingFilterByLength__option_t
struct | simpleIteLiftQuant__option_t
struct | simplificationMode__option_t
struct | simplifyWithCareEnabled__option_t
struct | skolemizeArguments__option_t
struct | smartTriggers__option_t
struct | soiApproxMajorFailure__option_t
struct | soiApproxMajorFailurePen__option_t
struct | soiApproxMinorFailure__option_t
struct | soiApproxMinorFailurePen__option_t
struct | soiQuickExplain__option_t
struct | sortInference__option_t
struct | statistics__option_t
struct | statsEveryQuery__option_t
struct | statsHideZeros__option_t
struct | strictParsing__option_t
struct | stringCharCardinality__option_t
struct | stringEIT__option_t
struct | stringExp__option_t
struct | stringFMF__option_t
struct | stringLB__option_t
struct | stringOpt1__option_t
struct | stringOpt2__option_t
struct | tearDownIncremental__option_t
struct | theoryAlternates__option_t
struct | theoryOfMode__option_t
struct | thread_id__option_t
struct | threadArgv__option_t
struct | threads__option_t
struct | threadStackSize__option_t
struct | trySolveIntStandardEffort__option_t
struct | typeChecking__option_t
struct | ufssAbortCardinality__option_t
struct | ufssCliqueSplits__option_t
struct | ufssDiseqPropagation__option_t
struct | ufssEagerSplits__option_t
struct | ufssExplainedCliques__option_t
struct | ufssFairness__option_t
struct | ufssMinimalModel__option_t
struct | ufssRegions__option_t
struct | ufssSimpleCliques__option_t
struct | ufssSymBreak__option_t
struct | ufssTotality__option_t
struct | ufssTotalityLimited__option_t
struct | ufssTotalitySymBreak__option_t
struct | ufSymmetryBreaker__option_t
struct | unconstrainedSimp__option_t
struct | unsatCores__option_t
struct | useApprox__option_t
struct | useFC__option_t
struct | userPatternsQuant__option_t
struct | useSOI__option_t
struct | varElimQuant__option_t
struct | verbosity__option_t
struct | version__option_t
struct | waitToJoin__option_t
struct | zombieHuntThreshold__option_t

## Variables

struct CVC4::options::decisionMode__option_t | decisionMode
struct CVC4::options::decisionStopOnly__option_t | decisionStopOnly
struct CVC4::options::decisionThreshold__option_t | decisionThreshold
struct CVC4::options::decisionUseWeight__option_t | decisionUseWeight
struct CVC4::options::decisionRandomWeight__option_t | decisionRandomWeight
struct CVC4::options::decisionWeightInternal__option_t | decisionWeightInternal
struct CVC4::options::defaultExprDepth__option_t | defaultExprDepth
struct CVC4::options::defaultDagThresh__option_t | defaultDagThresh
struct CVC4::options::earlyTypeChecking__option_t | earlyTypeChecking
struct CVC4::options::typeChecking__option_t | typeChecking
struct CVC4::options::biasedITERemoval__option_t | biasedITERemoval
struct CVC4::options::version__option_t | version
struct CVC4::options::help__option_t | help
struct CVC4::options::earlyExit__option_t | earlyExit
struct CVC4::options::threads__option_t | threads
struct CVC4::options::threadStackSize__option_t | threadStackSize
struct CVC4::options::threadArgv__option_t | threadArgv
struct CVC4::options::thread_id__option_t | thread_id
struct CVC4::options::sharingFilterByLength__option_t | sharingFilterByLength
struct CVC4::options::fallbackSequential__option_t | fallbackSequential
struct CVC4::options::incrementalParallel__option_t | incrementalParallel
struct CVC4::options::interactivePrompt__option_t | interactivePrompt
struct CVC4::options::continuedExecution__option_t | continuedExecution
struct CVC4::options::segvSpin__option_t | segvSpin
struct CVC4::options::tearDownIncremental__option_t | tearDownIncremental
struct CVC4::options::waitToJoin__option_t | waitToJoin
struct CVC4::options::binary_name__option_t | binary_name
struct CVC4::options::in__option_t | in
struct CVC4::options::out__option_t | out
struct CVC4::options::err__option_t | err
struct CVC4::options::inputLanguage__option_t | inputLanguage
struct CVC4::options::outputLanguage__option_t | outputLanguage
struct CVC4::options::languageHelp__option_t | languageHelp
struct CVC4::options::verbosity__option_t | verbosity
struct CVC4::options::statistics__option_t | statistics
struct CVC4::options::statsEveryQuery__option_t | statsEveryQuery
struct CVC4::options::statsHideZeros__option_t | statsHideZeros
struct CVC4::options::parseOnly__option_t | parseOnly
struct CVC4::options::preprocessOnly__option_t | preprocessOnly
struct CVC4::options::printSuccess__option_t | printSuccess
struct CVC4::options::strictParsing__option_t | strictParsing
struct CVC4::options::memoryMap__option_t | memoryMap
struct CVC4::options::semanticChecks__option_t | semanticChecks
struct CVC4::options::filesystemAccess__option_t | filesystemAccess
struct CVC4::options::modelFormatMode__option_t | modelFormatMode
struct CVC4::options::instFormatMode__option_t | instFormatMode
struct CVC4::options::satRandomFreq__option_t | satRandomFreq
struct CVC4::options::satRandomSeed__option_t | satRandomSeed
struct CVC4::options::satVarDecay__option_t | satVarDecay
struct CVC4::options::satClauseDecay__option_t | satClauseDecay
struct CVC4::options::satRestartFirst__option_t | satRestartFirst
struct CVC4::options::satRestartInc__option_t | satRestartInc
struct CVC4::options::sat_refine_conflicts__option_t | sat_refine_conflicts
struct CVC4::options::minisatUseElim__option_t | minisatUseElim
struct CVC4::options::minisatDumpDimacs__option_t | minisatDumpDimacs
struct CVC4::options::forceLogic__option_t | forceLogic
struct CVC4::options::simplificationMode__option_t | simplificationMode
struct CVC4::options::doStaticLearning__option_t | doStaticLearning
struct CVC4::options::expandDefinitions__option_t | expandDefinitions
struct CVC4::options::produceModels__option_t | produceModels
struct CVC4::options::checkModels__option_t | checkModels
struct CVC4::options::dumpModels__option_t | dumpModels
struct CVC4::options::proof__option_t | proof
struct CVC4::options::checkProofs__option_t | checkProofs
struct CVC4::options::dumpProofs__option_t | dumpProofs
struct CVC4::options::dumpInstantiations__option_t | dumpInstantiations
struct CVC4::options::unsatCores__option_t | unsatCores
struct CVC4::options::produceAssignments__option_t | produceAssignments
struct CVC4::options::interactive__option_t | interactive
struct CVC4::options::doITESimp__option_t | doITESimp
struct CVC4::options::doITESimpOnRepeat__option_t | doITESimpOnRepeat
struct CVC4::options::simplifyWithCareEnabled__option_t | simplifyWithCareEnabled
struct CVC4::options::compressItes__option_t | compressItes
struct CVC4::options::unconstrainedSimp__option_t | unconstrainedSimp
struct CVC4::options::repeatSimp__option_t | repeatSimp
struct CVC4::options::zombieHuntThreshold__option_t | zombieHuntThreshold
struct CVC4::options::sortInference__option_t | sortInference
struct CVC4::options::incrementalSolving__option_t | incrementalSolving
struct CVC4::options::abstractValues__option_t | abstractValues
struct CVC4::options::modelUninterpDtEnum__option_t | modelUninterpDtEnum
struct CVC4::options::cumulativeMillisecondLimit__option_t | cumulativeMillisecondLimit
struct CVC4::options::perCallMillisecondLimit__option_t | perCallMillisecondLimit
struct CVC4::options::cumulativeResourceLimit__option_t | cumulativeResourceLimit
struct CVC4::options::perCallResourceLimit__option_t | perCallResourceLimit
struct CVC4::options::rewriteApplyToConst__option_t | rewriteApplyToConst
struct CVC4::options::replayFilename__option_t | replayFilename
struct CVC4::options::replayLog__option_t | replayLog
struct CVC4::options::replayStream__option_t | replayStream
struct CVC4::options::lemmaInputChannel__option_t | lemmaInputChannel
struct CVC4::options::lemmaOutputChannel__option_t | lemmaOutputChannel
struct CVC4::options::forceNoLimitCpuWhileDump__option_t | forceNoLimitCpuWhileDump
struct CVC4::options::arithUnateLemmaMode__option_t | arithUnateLemmaMode
struct CVC4::options::arithPropagationMode__option_t | arithPropagationMode
struct CVC4::options::arithHeuristicPivots__option_t | arithHeuristicPivots
struct CVC4::options::arithStandardCheckVarOrderPivots__option_t | arithStandardCheckVarOrderPivots
struct CVC4::options::arithErrorSelectionRule__option_t | arithErrorSelectionRule
struct CVC4::options::arithSimplexCheckPeriod__option_t | arithSimplexCheckPeriod
struct CVC4::options::arithPivotThreshold__option_t | arithPivotThreshold
struct CVC4::options::arithPropagateMaxLength__option_t | arithPropagateMaxLength
struct CVC4::options::arithDioSolver__option_t | arithDioSolver
struct CVC4::options::arithRewriteEq__option_t | arithRewriteEq
struct CVC4::options::arithMLTrick__option_t | arithMLTrick
struct CVC4::options::arithMLTrickSubstitutions__option_t | arithMLTrickSubstitutions
struct CVC4::options::doCutAllBounded__option_t | doCutAllBounded
struct CVC4::options::maxCutsInContext__option_t | maxCutsInContext
struct CVC4::options::revertArithModels__option_t | revertArithModels
struct CVC4::options::havePenalties__option_t | havePenalties
struct CVC4::options::useFC__option_t | useFC
struct CVC4::options::useSOI__option_t | useSOI
struct CVC4::options::restrictedPivots__option_t | restrictedPivots
struct CVC4::options::collectPivots__option_t | collectPivots
struct CVC4::options::useApprox__option_t | useApprox
struct CVC4::options::maxApproxDepth__option_t | maxApproxDepth
struct CVC4::options::exportDioDecompositions__option_t | exportDioDecompositions
struct CVC4::options::newProp__option_t | newProp
struct CVC4::options::arithPropAsLemmaLength__option_t | arithPropAsLemmaLength
struct CVC4::options::soiQuickExplain__option_t | soiQuickExplain
struct CVC4::options::rewriteDivk__option_t | rewriteDivk
struct CVC4::options::trySolveIntStandardEffort__option_t | trySolveIntStandardEffort
struct CVC4::options::replayFailureLemma__option_t | replayFailureLemma
struct CVC4::options::dioSolverTurns__option_t | dioSolverTurns
struct CVC4::options::rrTurns__option_t | rrTurns
struct CVC4::options::dioRepeat__option_t | dioRepeat
struct CVC4::options::replayEarlyCloseDepths__option_t | replayEarlyCloseDepths
struct CVC4::options::replayFailurePenalty__option_t | replayFailurePenalty
struct CVC4::options::replayNumericFailurePenalty__option_t | replayNumericFailurePenalty
struct CVC4::options::replayRejectCutSize__option_t | replayRejectCutSize
struct CVC4::options::lemmaRejectCutSize__option_t | lemmaRejectCutSize
struct CVC4::options::soiApproxMajorFailure__option_t | soiApproxMajorFailure
struct CVC4::options::soiApproxMajorFailurePen__option_t | soiApproxMajorFailurePen
struct CVC4::options::soiApproxMinorFailure__option_t | soiApproxMinorFailure
struct CVC4::options::soiApproxMinorFailurePen__option_t | soiApproxMinorFailurePen
struct CVC4::options::ppAssertMaxSubSize__option_t | ppAssertMaxSubSize
struct CVC4::options::maxReplayTree__option_t | maxReplayTree
struct CVC4::options::pbRewrites__option_t | pbRewrites
struct CVC4::options::pbRewriteThreshold__option_t | pbRewriteThreshold
struct CVC4::options::arraysOptimizeLinear__option_t | arraysOptimizeLinear
struct CVC4::options::arraysLazyRIntro1__option_t | arraysLazyRIntro1
struct CVC4::options::arraysModelBased__option_t | arraysModelBased
struct CVC4::options::arraysEagerIndexSplitting__option_t | arraysEagerIndexSplitting
struct CVC4::options::arraysEagerLemmas__option_t | arraysEagerLemmas
struct CVC4::options::booleanTermConversionMode__option_t | booleanTermConversionMode
struct CVC4::options::bitblastMode__option_t | bitblastMode
struct CVC4::options::bitvectorAig__option_t | bitvectorAig
struct CVC4::options::bitvectorAigSimplifications__option_t | bitvectorAigSimplifications
struct CVC4::options::bitvectorPropagate__option_t | bitvectorPropagate
struct CVC4::options::bitvectorEqualitySolver__option_t | bitvectorEqualitySolver
struct CVC4::options::bitvectorEqualitySlicer__option_t | bitvectorEqualitySlicer
struct CVC4::options::bitvectorInequalitySolver__option_t | bitvectorInequalitySolver
struct CVC4::options::bitvectorAlgebraicSolver__option_t | bitvectorAlgebraicSolver
struct CVC4::options::bitvectorAlgebraicBudget__option_t | bitvectorAlgebraicBudget
struct CVC4::options::bitvectorToBool__option_t | bitvectorToBool
struct CVC4::options::bitvectorDivByZeroConst__option_t | bitvectorDivByZeroConst
struct CVC4::options::bvAbstraction__option_t | bvAbstraction
struct CVC4::options::skolemizeArguments__option_t | skolemizeArguments
struct CVC4::options::bvNumFunc__option_t | bvNumFunc
struct CVC4::options::bvEagerExplanations__option_t | bvEagerExplanations
struct CVC4::options::bitvectorQuickXplain__option_t | bitvectorQuickXplain
struct CVC4::options::bvIntroducePow2__option_t | bvIntroducePow2
struct CVC4::options::dtRewriteErrorSel__option_t | dtRewriteErrorSel
struct CVC4::options::dtForceAssignment__option_t | dtForceAssignment
struct CVC4::options::idlRewriteEq__option_t | idlRewriteEq
struct CVC4::options::theoryOfMode__option_t | theoryOfMode
struct CVC4::options::theoryAlternates__option_t | theoryAlternates
struct CVC4::options::miniscopeQuant__option_t | miniscopeQuant
struct CVC4::options::miniscopeQuantFreeVar__option_t | miniscopeQuantFreeVar
struct CVC4::options::prenexQuant__option_t | prenexQuant
struct CVC4::options::varElimQuant__option_t | varElimQuant
struct CVC4::options::simpleIteLiftQuant__option_t | simpleIteLiftQuant
struct CVC4::options::cnfQuant__option_t | cnfQuant
struct CVC4::options::nnfQuant__option_t | nnfQuant
struct CVC4::options::clauseSplit__option_t | clauseSplit
struct CVC4::options::preSkolemQuant__option_t | preSkolemQuant
struct CVC4::options::aggressiveMiniscopeQuant__option_t | aggressiveMiniscopeQuant
struct CVC4::options::macrosQuant__option_t | macrosQuant
struct CVC4::options::foPropQuant__option_t | foPropQuant
struct CVC4::options::smartTriggers__option_t | smartTriggers
struct CVC4::options::relevantTriggers__option_t | relevantTriggers
struct CVC4::options::relationalTriggers__option_t | relationalTriggers
struct CVC4::options::registerQuantBodyTerms__option_t | registerQuantBodyTerms
struct CVC4::options::instWhenMode__option_t | instWhenMode
struct CVC4::options::instMaxLevel__option_t | instMaxLevel
struct CVC4::options::eagerInstQuant__option_t | eagerInstQuant
struct CVC4::options::fullSaturateQuant__option_t | fullSaturateQuant
struct CVC4::options::literalMatchMode__option_t | literalMatchMode
struct CVC4::options::cbqi__option_t | cbqi
struct CVC4::options::recurseCbqi__option_t | recurseCbqi
struct CVC4::options::userPatternsQuant__option_t | userPatternsQuant
struct CVC4::options::flipDecision__option_t | flipDecision
struct CVC4::options::internalReps__option_t | internalReps
struct CVC4::options::finiteModelFind__option_t | finiteModelFind
struct CVC4::options::mbqiMode__option_t | mbqiMode
struct CVC4::options::fmfOneInstPerRound__option_t | fmfOneInstPerRound
struct CVC4::options::fmfOneQuantPerRound__option_t | fmfOneQuantPerRound
struct CVC4::options::fmfInstEngine__option_t | fmfInstEngine
struct CVC4::options::fmfInstGen__option_t | fmfInstGen
struct CVC4::options::fmfInstGenOneQuantPerRound__option_t | fmfInstGenOneQuantPerRound
struct CVC4::options::fmfFreshDistConst__option_t | fmfFreshDistConst
struct CVC4::options::fmfFmcSimple__option_t | fmfFmcSimple
struct CVC4::options::fmfBoundInt__option_t | fmfBoundInt
struct CVC4::options::fmfBoundIntLazy__option_t | fmfBoundIntLazy
struct CVC4::options::axiomInstMode__option_t | axiomInstMode
struct CVC4::options::quantConflictFind__option_t | quantConflictFind
struct CVC4::options::qcfMode__option_t | qcfMode
struct CVC4::options::qcfWhenMode__option_t | qcfWhenMode
struct CVC4::options::qcfTConstraint__option_t | qcfTConstraint
struct CVC4::options::quantRewriteRules__option_t | quantRewriteRules
struct CVC4::options::rrOneInstPerRound__option_t | rrOneInstPerRound
struct CVC4::options::dtStcInduction__option_t | dtStcInduction
struct CVC4::options::setsPropagate__option_t | setsPropagate
struct CVC4::options::setsEagerLemmas__option_t | setsEagerLemmas
struct CVC4::options::stringExp__option_t | stringExp
struct CVC4::options::stringLB__option_t | stringLB
struct CVC4::options::stringFMF__option_t | stringFMF
struct CVC4::options::stringEIT__option_t | stringEIT
struct CVC4::options::stringOpt1__option_t | stringOpt1
struct CVC4::options::stringOpt2__option_t | stringOpt2
struct CVC4::options::stringCharCardinality__option_t | stringCharCardinality
struct CVC4::options::ufSymmetryBreaker__option_t | ufSymmetryBreaker
struct CVC4::options::condenseFunctionValues__option_t | condenseFunctionValues
struct CVC4::options::ufssRegions__option_t | ufssRegions
struct CVC4::options::ufssEagerSplits__option_t | ufssEagerSplits
struct CVC4::options::ufssTotality__option_t | ufssTotality
struct CVC4::options::ufssTotalityLimited__option_t | ufssTotalityLimited
struct CVC4::options::ufssTotalitySymBreak__option_t | ufssTotalitySymBreak
struct CVC4::options::ufssAbortCardinality__option_t | ufssAbortCardinality
struct CVC4::options::ufssExplainedCliques__option_t | ufssExplainedCliques
struct CVC4::options::ufssSimpleCliques__option_t | ufssSimpleCliques
struct CVC4::options::ufssDiseqPropagation__option_t | ufssDiseqPropagation
struct CVC4::options::ufssMinimalModel__option_t | ufssMinimalModel
struct CVC4::options::ufssCliqueSplits__option_t | ufssCliqueSplits
struct CVC4::options::ufssSymBreak__option_t | ufssSymBreak
struct CVC4::options::ufssFairness__option_t | ufssFairness

## Variable Documentation

## abstractValues

struct CVC4::options::abstractValues__option_t CVC4::options::abstractValues

## aggressiveMiniscopeQuant

struct CVC4::options::aggressiveMiniscopeQuant__option_t CVC4::options::aggressiveMiniscopeQuant

## arithDioSolver

struct CVC4::options::arithDioSolver__option_t CVC4::options::arithDioSolver

## arithErrorSelectionRule

struct CVC4::options::arithErrorSelectionRule__option_t CVC4::options::arithErrorSelectionRule

## arithHeuristicPivots

struct CVC4::options::arithHeuristicPivots__option_t CVC4::options::arithHeuristicPivots

## arithMLTrick

struct CVC4::options::arithMLTrick__option_t CVC4::options::arithMLTrick

## arithMLTrickSubstitutions

struct CVC4::options::arithMLTrickSubstitutions__option_t CVC4::options::arithMLTrickSubstitutions

## arithPivotThreshold

struct CVC4::options::arithPivotThreshold__option_t CVC4::options::arithPivotThreshold

## arithPropagateMaxLength

struct CVC4::options::arithPropagateMaxLength__option_t CVC4::options::arithPropagateMaxLength

## arithPropagationMode

struct CVC4::options::arithPropagationMode__option_t CVC4::options::arithPropagationMode

## arithPropAsLemmaLength

struct CVC4::options::arithPropAsLemmaLength__option_t CVC4::options::arithPropAsLemmaLength

## arithRewriteEq

struct CVC4::options::arithRewriteEq__option_t CVC4::options::arithRewriteEq

## arithSimplexCheckPeriod

struct CVC4::options::arithSimplexCheckPeriod__option_t CVC4::options::arithSimplexCheckPeriod

## arithStandardCheckVarOrderPivots

struct CVC4::options::arithStandardCheckVarOrderPivots__option_t CVC4::options::arithStandardCheckVarOrderPivots

## arithUnateLemmaMode

struct CVC4::options::arithUnateLemmaMode__option_t CVC4::options::arithUnateLemmaMode

## arraysEagerIndexSplitting

struct CVC4::options::arraysEagerIndexSplitting__option_t CVC4::options::arraysEagerIndexSplitting

## arraysEagerLemmas

struct CVC4::options::arraysEagerLemmas__option_t CVC4::options::arraysEagerLemmas

## arraysLazyRIntro1

struct CVC4::options::arraysLazyRIntro1__option_t CVC4::options::arraysLazyRIntro1

## arraysModelBased

struct CVC4::options::arraysModelBased__option_t CVC4::options::arraysModelBased

## arraysOptimizeLinear

struct CVC4::options::arraysOptimizeLinear__option_t CVC4::options::arraysOptimizeLinear

## axiomInstMode

struct CVC4::options::axiomInstMode__option_t CVC4::options::axiomInstMode

## biasedITERemoval

struct CVC4::options::biasedITERemoval__option_t CVC4::options::biasedITERemoval

## binary_name

struct CVC4::options::binary_name__option_t CVC4::options::binary_name

## bitblastMode

struct CVC4::options::bitblastMode__option_t CVC4::options::bitblastMode

## bitvectorAig

struct CVC4::options::bitvectorAig__option_t CVC4::options::bitvectorAig

## bitvectorAigSimplifications

struct CVC4::options::bitvectorAigSimplifications__option_t CVC4::options::bitvectorAigSimplifications

## bitvectorAlgebraicBudget

struct CVC4::options::bitvectorAlgebraicBudget__option_t CVC4::options::bitvectorAlgebraicBudget

## bitvectorAlgebraicSolver

struct CVC4::options::bitvectorAlgebraicSolver__option_t CVC4::options::bitvectorAlgebraicSolver

## bitvectorDivByZeroConst

struct CVC4::options::bitvectorDivByZeroConst__option_t CVC4::options::bitvectorDivByZeroConst

## bitvectorEqualitySlicer

struct CVC4::options::bitvectorEqualitySlicer__option_t CVC4::options::bitvectorEqualitySlicer

## bitvectorEqualitySolver

struct CVC4::options::bitvectorEqualitySolver__option_t CVC4::options::bitvectorEqualitySolver

## bitvectorInequalitySolver

struct CVC4::options::bitvectorInequalitySolver__option_t CVC4::options::bitvectorInequalitySolver

## bitvectorPropagate

struct CVC4::options::bitvectorPropagate__option_t CVC4::options::bitvectorPropagate

## bitvectorQuickXplain

struct CVC4::options::bitvectorQuickXplain__option_t CVC4::options::bitvectorQuickXplain

## bitvectorToBool

struct CVC4::options::bitvectorToBool__option_t CVC4::options::bitvectorToBool

## booleanTermConversionMode

struct CVC4::options::booleanTermConversionMode__option_t CVC4::options::booleanTermConversionMode

## bvAbstraction

struct CVC4::options::bvAbstraction__option_t CVC4::options::bvAbstraction

## bvEagerExplanations

struct CVC4::options::bvEagerExplanations__option_t CVC4::options::bvEagerExplanations

## bvIntroducePow2

struct CVC4::options::bvIntroducePow2__option_t CVC4::options::bvIntroducePow2

## bvNumFunc

struct CVC4::options::bvNumFunc__option_t CVC4::options::bvNumFunc

## cbqi

struct CVC4::options::cbqi__option_t CVC4::options::cbqi

## checkModels

struct CVC4::options::checkModels__option_t CVC4::options::checkModels

## checkProofs

struct CVC4::options::checkProofs__option_t CVC4::options::checkProofs

## clauseSplit

struct CVC4::options::clauseSplit__option_t CVC4::options::clauseSplit

## cnfQuant

struct CVC4::options::cnfQuant__option_t CVC4::options::cnfQuant

## collectPivots

struct CVC4::options::collectPivots__option_t CVC4::options::collectPivots

## compressItes

struct CVC4::options::compressItes__option_t CVC4::options::compressItes

## condenseFunctionValues

struct CVC4::options::condenseFunctionValues__option_t CVC4::options::condenseFunctionValues

## continuedExecution

struct CVC4::options::continuedExecution__option_t CVC4::options::continuedExecution

## cumulativeMillisecondLimit

struct CVC4::options::cumulativeMillisecondLimit__option_t CVC4::options::cumulativeMillisecondLimit

## cumulativeResourceLimit

struct CVC4::options::cumulativeResourceLimit__option_t CVC4::options::cumulativeResourceLimit

## decisionMode

struct CVC4::options::decisionMode__option_t CVC4::options::decisionMode

## decisionRandomWeight

struct CVC4::options::decisionRandomWeight__option_t CVC4::options::decisionRandomWeight

## decisionStopOnly

struct CVC4::options::decisionStopOnly__option_t CVC4::options::decisionStopOnly

## decisionThreshold

struct CVC4::options::decisionThreshold__option_t CVC4::options::decisionThreshold

## decisionUseWeight

struct CVC4::options::decisionUseWeight__option_t CVC4::options::decisionUseWeight

## decisionWeightInternal

struct CVC4::options::decisionWeightInternal__option_t CVC4::options::decisionWeightInternal

## defaultDagThresh

struct CVC4::options::defaultDagThresh__option_t CVC4::options::defaultDagThresh

## defaultExprDepth

struct CVC4::options::defaultExprDepth__option_t CVC4::options::defaultExprDepth

## dioRepeat

struct CVC4::options::dioRepeat__option_t CVC4::options::dioRepeat

## dioSolverTurns

struct CVC4::options::dioSolverTurns__option_t CVC4::options::dioSolverTurns

## doCutAllBounded

struct CVC4::options::doCutAllBounded__option_t CVC4::options::doCutAllBounded

## doITESimp

struct CVC4::options::doITESimp__option_t CVC4::options::doITESimp

## doITESimpOnRepeat

struct CVC4::options::doITESimpOnRepeat__option_t CVC4::options::doITESimpOnRepeat

## doStaticLearning

struct CVC4::options::doStaticLearning__option_t CVC4::options::doStaticLearning

## dtForceAssignment

struct CVC4::options::dtForceAssignment__option_t CVC4::options::dtForceAssignment

## dtRewriteErrorSel

struct CVC4::options::dtRewriteErrorSel__option_t CVC4::options::dtRewriteErrorSel

## dtStcInduction

struct CVC4::options::dtStcInduction__option_t CVC4::options::dtStcInduction

## dumpInstantiations

struct CVC4::options::dumpInstantiations__option_t CVC4::options::dumpInstantiations

## dumpModels

struct CVC4::options::dumpModels__option_t CVC4::options::dumpModels

## dumpProofs

struct CVC4::options::dumpProofs__option_t CVC4::options::dumpProofs

## eagerInstQuant

struct CVC4::options::eagerInstQuant__option_t CVC4::options::eagerInstQuant

## earlyExit

struct CVC4::options::earlyExit__option_t CVC4::options::earlyExit

## earlyTypeChecking

struct CVC4::options::earlyTypeChecking__option_t CVC4::options::earlyTypeChecking

## err

struct CVC4::options::err__option_t CVC4::options::err

## expandDefinitions

struct CVC4::options::expandDefinitions__option_t CVC4::options::expandDefinitions

## exportDioDecompositions

struct CVC4::options::exportDioDecompositions__option_t CVC4::options::exportDioDecompositions

## fallbackSequential

struct CVC4::options::fallbackSequential__option_t CVC4::options::fallbackSequential

## filesystemAccess

struct CVC4::options::filesystemAccess__option_t CVC4::options::filesystemAccess

## finiteModelFind

struct CVC4::options::finiteModelFind__option_t CVC4::options::finiteModelFind

## flipDecision

struct CVC4::options::flipDecision__option_t CVC4::options::flipDecision

## fmfBoundInt

struct CVC4::options::fmfBoundInt__option_t CVC4::options::fmfBoundInt

## fmfBoundIntLazy

struct CVC4::options::fmfBoundIntLazy__option_t CVC4::options::fmfBoundIntLazy

## fmfFmcSimple

struct CVC4::options::fmfFmcSimple__option_t CVC4::options::fmfFmcSimple

## fmfFreshDistConst

struct CVC4::options::fmfFreshDistConst__option_t CVC4::options::fmfFreshDistConst

## fmfInstEngine

struct CVC4::options::fmfInstEngine__option_t CVC4::options::fmfInstEngine

## fmfInstGen

struct CVC4::options::fmfInstGen__option_t CVC4::options::fmfInstGen

## fmfInstGenOneQuantPerRound

struct CVC4::options::fmfInstGenOneQuantPerRound__option_t CVC4::options::fmfInstGenOneQuantPerRound

## fmfOneInstPerRound

struct CVC4::options::fmfOneInstPerRound__option_t CVC4::options::fmfOneInstPerRound

## fmfOneQuantPerRound

struct CVC4::options::fmfOneQuantPerRound__option_t CVC4::options::fmfOneQuantPerRound

## foPropQuant

struct CVC4::options::foPropQuant__option_t CVC4::options::foPropQuant

## forceLogic

struct CVC4::options::forceLogic__option_t CVC4::options::forceLogic

## forceNoLimitCpuWhileDump

struct CVC4::options::forceNoLimitCpuWhileDump__option_t CVC4::options::forceNoLimitCpuWhileDump

## fullSaturateQuant

struct CVC4::options::fullSaturateQuant__option_t CVC4::options::fullSaturateQuant

## havePenalties

struct CVC4::options::havePenalties__option_t CVC4::options::havePenalties

## help

struct CVC4::options::help__option_t CVC4::options::help

## idlRewriteEq

struct CVC4::options::idlRewriteEq__option_t CVC4::options::idlRewriteEq

## in

struct CVC4::options::in__option_t CVC4::options::in

## incrementalParallel

struct CVC4::options::incrementalParallel__option_t CVC4::options::incrementalParallel

## incrementalSolving

struct CVC4::options::incrementalSolving__option_t CVC4::options::incrementalSolving

## inputLanguage

struct CVC4::options::inputLanguage__option_t CVC4::options::inputLanguage

## instFormatMode

struct CVC4::options::instFormatMode__option_t CVC4::options::instFormatMode

## instMaxLevel

struct CVC4::options::instMaxLevel__option_t CVC4::options::instMaxLevel

## instWhenMode

struct CVC4::options::instWhenMode__option_t CVC4::options::instWhenMode

## interactive

struct CVC4::options::interactive__option_t CVC4::options::interactive

## interactivePrompt

struct CVC4::options::interactivePrompt__option_t CVC4::options::interactivePrompt

## internalReps

struct CVC4::options::internalReps__option_t CVC4::options::internalReps

## languageHelp

struct CVC4::options::languageHelp__option_t CVC4::options::languageHelp

## lemmaInputChannel

struct CVC4::options::lemmaInputChannel__option_t CVC4::options::lemmaInputChannel

## lemmaOutputChannel

struct CVC4::options::lemmaOutputChannel__option_t CVC4::options::lemmaOutputChannel

## lemmaRejectCutSize

struct CVC4::options::lemmaRejectCutSize__option_t CVC4::options::lemmaRejectCutSize

## literalMatchMode

struct CVC4::options::literalMatchMode__option_t CVC4::options::literalMatchMode

## macrosQuant

struct CVC4::options::macrosQuant__option_t CVC4::options::macrosQuant

## maxApproxDepth

struct CVC4::options::maxApproxDepth__option_t CVC4::options::maxApproxDepth

## maxCutsInContext

struct CVC4::options::maxCutsInContext__option_t CVC4::options::maxCutsInContext

## maxReplayTree

struct CVC4::options::maxReplayTree__option_t CVC4::options::maxReplayTree

## mbqiMode

struct CVC4::options::mbqiMode__option_t CVC4::options::mbqiMode

## memoryMap

struct CVC4::options::memoryMap__option_t CVC4::options::memoryMap

## minisatDumpDimacs

struct CVC4::options::minisatDumpDimacs__option_t CVC4::options::minisatDumpDimacs

## minisatUseElim

struct CVC4::options::minisatUseElim__option_t CVC4::options::minisatUseElim

## miniscopeQuant

struct CVC4::options::miniscopeQuant__option_t CVC4::options::miniscopeQuant

## miniscopeQuantFreeVar

struct CVC4::options::miniscopeQuantFreeVar__option_t CVC4::options::miniscopeQuantFreeVar

## modelFormatMode

struct CVC4::options::modelFormatMode__option_t CVC4::options::modelFormatMode

## modelUninterpDtEnum

struct CVC4::options::modelUninterpDtEnum__option_t CVC4::options::modelUninterpDtEnum

## newProp

struct CVC4::options::newProp__option_t CVC4::options::newProp

## nnfQuant

struct CVC4::options::nnfQuant__option_t CVC4::options::nnfQuant

## out

struct CVC4::options::out__option_t CVC4::options::out

## outputLanguage

struct CVC4::options::outputLanguage__option_t CVC4::options::outputLanguage

## parseOnly

struct CVC4::options::parseOnly__option_t CVC4::options::parseOnly

## pbRewrites

struct CVC4::options::pbRewrites__option_t CVC4::options::pbRewrites

## pbRewriteThreshold

struct CVC4::options::pbRewriteThreshold__option_t CVC4::options::pbRewriteThreshold

## perCallMillisecondLimit

struct CVC4::options::perCallMillisecondLimit__option_t CVC4::options::perCallMillisecondLimit

## perCallResourceLimit

struct CVC4::options::perCallResourceLimit__option_t CVC4::options::perCallResourceLimit

## ppAssertMaxSubSize

struct CVC4::options::ppAssertMaxSubSize__option_t CVC4::options::ppAssertMaxSubSize

## prenexQuant

struct CVC4::options::prenexQuant__option_t CVC4::options::prenexQuant

## preprocessOnly

struct CVC4::options::preprocessOnly__option_t CVC4::options::preprocessOnly

## preSkolemQuant

struct CVC4::options::preSkolemQuant__option_t CVC4::options::preSkolemQuant

## printSuccess

struct CVC4::options::printSuccess__option_t CVC4::options::printSuccess

## produceAssignments

struct CVC4::options::produceAssignments__option_t CVC4::options::produceAssignments

## produceModels

struct CVC4::options::produceModels__option_t CVC4::options::produceModels

## proof

struct CVC4::options::proof__option_t CVC4::options::proof

## qcfMode

struct CVC4::options::qcfMode__option_t CVC4::options::qcfMode

## qcfTConstraint

struct CVC4::options::qcfTConstraint__option_t CVC4::options::qcfTConstraint

## qcfWhenMode

struct CVC4::options::qcfWhenMode__option_t CVC4::options::qcfWhenMode

## quantConflictFind

struct CVC4::options::quantConflictFind__option_t CVC4::options::quantConflictFind

## quantRewriteRules

struct CVC4::options::quantRewriteRules__option_t CVC4::options::quantRewriteRules

## recurseCbqi

struct CVC4::options::recurseCbqi__option_t CVC4::options::recurseCbqi

## registerQuantBodyTerms

struct CVC4::options::registerQuantBodyTerms__option_t CVC4::options::registerQuantBodyTerms

## relationalTriggers

struct CVC4::options::relationalTriggers__option_t CVC4::options::relationalTriggers

## relevantTriggers

struct CVC4::options::relevantTriggers__option_t CVC4::options::relevantTriggers

## repeatSimp

struct CVC4::options::repeatSimp__option_t CVC4::options::repeatSimp

## replayEarlyCloseDepths

struct CVC4::options::replayEarlyCloseDepths__option_t CVC4::options::replayEarlyCloseDepths

## replayFailureLemma

struct CVC4::options::replayFailureLemma__option_t CVC4::options::replayFailureLemma

## replayFailurePenalty

struct CVC4::options::replayFailurePenalty__option_t CVC4::options::replayFailurePenalty

## replayFilename

struct CVC4::options::replayFilename__option_t CVC4::options::replayFilename

## replayLog

struct CVC4::options::replayLog__option_t CVC4::options::replayLog

## replayNumericFailurePenalty

struct CVC4::options::replayNumericFailurePenalty__option_t CVC4::options::replayNumericFailurePenalty

## replayRejectCutSize

struct CVC4::options::replayRejectCutSize__option_t CVC4::options::replayRejectCutSize

## replayStream

struct CVC4::options::replayStream__option_t CVC4::options::replayStream

## restrictedPivots

struct CVC4::options::restrictedPivots__option_t CVC4::options::restrictedPivots

## revertArithModels

struct CVC4::options::revertArithModels__option_t CVC4::options::revertArithModels

## rewriteApplyToConst

struct CVC4::options::rewriteApplyToConst__option_t CVC4::options::rewriteApplyToConst

## rewriteDivk

struct CVC4::options::rewriteDivk__option_t CVC4::options::rewriteDivk

## rrOneInstPerRound

struct CVC4::options::rrOneInstPerRound__option_t CVC4::options::rrOneInstPerRound

## rrTurns

struct CVC4::options::rrTurns__option_t CVC4::options::rrTurns

## sat_refine_conflicts

struct CVC4::options::sat_refine_conflicts__option_t CVC4::options::sat_refine_conflicts

## satClauseDecay

struct CVC4::options::satClauseDecay__option_t CVC4::options::satClauseDecay

## satRandomFreq

struct CVC4::options::satRandomFreq__option_t CVC4::options::satRandomFreq

## satRandomSeed

struct CVC4::options::satRandomSeed__option_t CVC4::options::satRandomSeed

## satRestartFirst

struct CVC4::options::satRestartFirst__option_t CVC4::options::satRestartFirst

## satRestartInc

struct CVC4::options::satRestartInc__option_t CVC4::options::satRestartInc

## satVarDecay

struct CVC4::options::satVarDecay__option_t CVC4::options::satVarDecay

## segvSpin

struct CVC4::options::segvSpin__option_t CVC4::options::segvSpin

## semanticChecks

struct CVC4::options::semanticChecks__option_t CVC4::options::semanticChecks

## setsEagerLemmas

struct CVC4::options::setsEagerLemmas__option_t CVC4::options::setsEagerLemmas

## setsPropagate

struct CVC4::options::setsPropagate__option_t CVC4::options::setsPropagate

## sharingFilterByLength

struct CVC4::options::sharingFilterByLength__option_t CVC4::options::sharingFilterByLength

## simpleIteLiftQuant

struct CVC4::options::simpleIteLiftQuant__option_t CVC4::options::simpleIteLiftQuant

## simplificationMode

struct CVC4::options::simplificationMode__option_t CVC4::options::simplificationMode

## simplifyWithCareEnabled

struct CVC4::options::simplifyWithCareEnabled__option_t CVC4::options::simplifyWithCareEnabled

## skolemizeArguments

struct CVC4::options::skolemizeArguments__option_t CVC4::options::skolemizeArguments

## smartTriggers

struct CVC4::options::smartTriggers__option_t CVC4::options::smartTriggers

## soiApproxMajorFailure

struct CVC4::options::soiApproxMajorFailure__option_t CVC4::options::soiApproxMajorFailure

## soiApproxMajorFailurePen

struct CVC4::options::soiApproxMajorFailurePen__option_t CVC4::options::soiApproxMajorFailurePen

## soiApproxMinorFailure

struct CVC4::options::soiApproxMinorFailure__option_t CVC4::options::soiApproxMinorFailure

## soiApproxMinorFailurePen

struct CVC4::options::soiApproxMinorFailurePen__option_t CVC4::options::soiApproxMinorFailurePen

## soiQuickExplain

struct CVC4::options::soiQuickExplain__option_t CVC4::options::soiQuickExplain

## sortInference

struct CVC4::options::sortInference__option_t CVC4::options::sortInference

## statistics

struct CVC4::options::statistics__option_t CVC4::options::statistics

## statsEveryQuery

struct CVC4::options::statsEveryQuery__option_t CVC4::options::statsEveryQuery

## statsHideZeros

struct CVC4::options::statsHideZeros__option_t CVC4::options::statsHideZeros

## strictParsing

struct CVC4::options::strictParsing__option_t CVC4::options::strictParsing

## stringCharCardinality

struct CVC4::options::stringCharCardinality__option_t CVC4::options::stringCharCardinality

## stringEIT

struct CVC4::options::stringEIT__option_t CVC4::options::stringEIT

## stringExp

struct CVC4::options::stringExp__option_t CVC4::options::stringExp

## stringFMF

struct CVC4::options::stringFMF__option_t CVC4::options::stringFMF

## stringLB

struct CVC4::options::stringLB__option_t CVC4::options::stringLB

## stringOpt1

struct CVC4::options::stringOpt1__option_t CVC4::options::stringOpt1

## stringOpt2

struct CVC4::options::stringOpt2__option_t CVC4::options::stringOpt2

## tearDownIncremental

struct CVC4::options::tearDownIncremental__option_t CVC4::options::tearDownIncremental

## theoryAlternates

struct CVC4::options::theoryAlternates__option_t CVC4::options::theoryAlternates

## theoryOfMode

struct CVC4::options::theoryOfMode__option_t CVC4::options::theoryOfMode

## thread_id

struct CVC4::options::thread_id__option_t CVC4::options::thread_id

## threadArgv

struct CVC4::options::threadArgv__option_t CVC4::options::threadArgv

## threads

struct CVC4::options::threads__option_t CVC4::options::threads

## threadStackSize

struct CVC4::options::threadStackSize__option_t CVC4::options::threadStackSize

## trySolveIntStandardEffort

struct CVC4::options::trySolveIntStandardEffort__option_t CVC4::options::trySolveIntStandardEffort

## typeChecking

struct CVC4::options::typeChecking__option_t CVC4::options::typeChecking

## ufssAbortCardinality

struct CVC4::options::ufssAbortCardinality__option_t CVC4::options::ufssAbortCardinality

## ufssCliqueSplits

struct CVC4::options::ufssCliqueSplits__option_t CVC4::options::ufssCliqueSplits

## ufssDiseqPropagation

struct CVC4::options::ufssDiseqPropagation__option_t CVC4::options::ufssDiseqPropagation

## ufssEagerSplits

struct CVC4::options::ufssEagerSplits__option_t CVC4::options::ufssEagerSplits

## ufssExplainedCliques

struct CVC4::options::ufssExplainedCliques__option_t CVC4::options::ufssExplainedCliques

## ufssFairness

struct CVC4::options::ufssFairness__option_t CVC4::options::ufssFairness

## ufssMinimalModel

struct CVC4::options::ufssMinimalModel__option_t CVC4::options::ufssMinimalModel

## ufssRegions

struct CVC4::options::ufssRegions__option_t CVC4::options::ufssRegions

## ufssSimpleCliques

struct CVC4::options::ufssSimpleCliques__option_t CVC4::options::ufssSimpleCliques

## ufssSymBreak

struct CVC4::options::ufssSymBreak__option_t CVC4::options::ufssSymBreak

## ufssTotality

struct CVC4::options::ufssTotality__option_t CVC4::options::ufssTotality

## ufssTotalityLimited

struct CVC4::options::ufssTotalityLimited__option_t CVC4::options::ufssTotalityLimited

## ufssTotalitySymBreak

struct CVC4::options::ufssTotalitySymBreak__option_t CVC4::options::ufssTotalitySymBreak

## ufSymmetryBreaker

struct CVC4::options::ufSymmetryBreaker__option_t CVC4::options::ufSymmetryBreaker

## unconstrainedSimp

struct CVC4::options::unconstrainedSimp__option_t CVC4::options::unconstrainedSimp

## unsatCores

struct CVC4::options::unsatCores__option_t CVC4::options::unsatCores

## useApprox

struct CVC4::options::useApprox__option_t CVC4::options::useApprox

## useFC

struct CVC4::options::useFC__option_t CVC4::options::useFC

## userPatternsQuant

struct CVC4::options::userPatternsQuant__option_t CVC4::options::userPatternsQuant

## useSOI

struct CVC4::options::useSOI__option_t CVC4::options::useSOI

## varElimQuant

struct CVC4::options::varElimQuant__option_t CVC4::options::varElimQuant

## verbosity

struct CVC4::options::verbosity__option_t CVC4::options::verbosity

## version

struct CVC4::options::version__option_t CVC4::options::version

## waitToJoin

struct CVC4::options::waitToJoin__option_t CVC4::options::waitToJoin

## zombieHuntThreshold

struct CVC4::options::zombieHuntThreshold__option_t CVC4::options::zombieHuntThreshold