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

Variable Documentation

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