cvc4-1.4
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::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::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::theoryOfMode__option_t theoryOfMode
 
struct CVC4::options::theoryAlternates__option_t theoryAlternates
 
struct CVC4::options::idlRewriteEq__option_t idlRewriteEq
 
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::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::dtRewriteErrorSel__option_t dtRewriteErrorSel
 
struct CVC4::options::dtForceAssignment__option_t dtForceAssignment
 
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
 
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::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::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::booleanTermConversionMode__option_t booleanTermConversionMode
 
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::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::modelFormatMode__option_t modelFormatMode
 
struct CVC4::options::instFormatMode__option_t instFormatMode
 
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::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::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
 

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

◆ 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

◆ 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

◆ 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