cvc4-1.3
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  bitvectorCoreSolver__option_t
 
struct  bitvectorEagerBitblast__option_t
 
struct  bitvectorEagerFullcheck__option_t
 
struct  bitvectorInequalitySolver__option_t
 
struct  bitvectorShareLemmas__option_t
 
struct  booleanTermConversionMode__option_t
 
struct  bvEquality__option_t
 
struct  bvPropagate__option_t
 
struct  bvToBool__option_t
 
struct  canIncludeFile__option_t
 
struct  cbqi__option_t
 
struct  checkModels__option_t
 
struct  clauseSplit__option_t
 
struct  cnfQuant__option_t
 
struct  collectPivots__option_t
 
struct  compressItes__option_t
 
struct  condenseFunctionValues__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  doCutAllBounded__option_t
 
struct  doITESimp__option_t
 
struct  doITESimpOnRepeat__option_t
 
struct  doStaticLearning__option_t
 
struct  dtForceAssignment__option_t
 
struct  dtRewriteErrorSel__option_t
 
struct  dumpModels__option_t
 
struct  eagerInstQuant__option_t
 
struct  earlyExit__option_t
 
struct  earlyTypeChecking__option_t
 
struct  efficientEMatching__option_t
 
struct  err__option_t
 
struct  expandDefinitions__option_t
 
struct  exportDioDecompositions__option_t
 
struct  fallbackSequential__option_t
 
struct  fancyFinal__option_t
 
struct  finiteModelFind__option_t
 
struct  flipDecision__option_t
 
struct  fmfBoundInt__option_t
 
struct  fmfFmcCoverSimplify__option_t
 
struct  fmfFmcInterval__option_t
 
struct  fmfFmcSimple__option_t
 
struct  fmfFreshDistConst__option_t
 
struct  fmfFullModelCheck__option_t
 
struct  fmfInstEngine__option_t
 
struct  fmfInstGen__option_t
 
struct  fmfInstGenOneQuantPerRound__option_t
 
struct  fmfModelBasedInst__option_t
 
struct  fmfNewInstGen__option_t
 
struct  fmfOneInstPerRound__option_t
 
struct  fmfOneQuantPerRound__option_t
 
struct  fmfRelevantDomain__option_t
 
struct  foPropQuant__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  instWhenMode__option_t
 
struct  interactive__option_t
 
struct  internalReps__option_t
 
struct  iteRemoveQuant__option_t
 
struct  languageHelp__option_t
 
struct  lemmaInputChannel__option_t
 
struct  lemmaOutputChannel__option_t
 
struct  literalMatchMode__option_t
 
struct  macrosQuant__option_t
 
struct  maxCutsInContext__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  out__option_t
 
struct  outputLanguage__option_t
 
struct  parseOnly__option_t
 
struct  perCallMillisecondLimit__option_t
 
struct  perCallResourceLimit__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  recurseCbqi__option_t
 
struct  registerQuantBodyTerms__option_t
 
struct  relationalTriggers__option_t
 
struct  relevantTriggers__option_t
 
struct  repeatSimp__option_t
 
struct  replayFilename__option_t
 
struct  replayLog__option_t
 
struct  replayStream__option_t
 
struct  restrictedPivots__option_t
 
struct  revertArithModels__option_t
 
struct  rewriteApplyToConst__option_t
 
struct  rewriteDivk__option_t
 
struct  rewriteRulesAsAxioms__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  sharingFilterByLength__option_t
 
struct  simpleIteLiftQuant__option_t
 
struct  simplificationMode__option_t
 
struct  simplifyWithCareEnabled__option_t
 
struct  smartTriggers__option_t
 
struct  soiQuickExplain__option_t
 
struct  sortInference__option_t
 
struct  statistics__option_t
 
struct  strictParsing__option_t
 
struct  stringCharCardinality__option_t
 
struct  stringExp__option_t
 
struct  stringFMF__option_t
 
struct  stringLB__option_t
 
struct  stringRegExpUnrollDepth__option_t
 
struct  theoryAlternates__option_t
 
struct  theoryOfMode__option_t
 
struct  thread_id__option_t
 
struct  threadArgv__option_t
 
struct  threads__option_t
 
struct  typeChecking__option_t
 
struct  ufssAbortCardinality__option_t
 
struct  ufssCliqueSplits__option_t
 
struct  ufssColoringSat__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  ufssSmartSplits__option_t
 
struct  ufssSymBreak__option_t
 
struct  ufssTotality__option_t
 
struct  ufssTotalityLazy__option_t
 
struct  ufssTotalityLimited__option_t
 
struct  ufssTotalitySymBreak__option_t
 
struct  ufSymmetryBreaker__option_t
 
struct  unconstrainedSimp__option_t
 
struct  unsatCores__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::modelFormatMode__option_t 
modelFormatMode
 
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::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::segvSpin__option_t 
segvSpin
 
struct
CVC4::options::waitToJoin__option_t 
waitToJoin
 
struct
CVC4::options::theoryOfMode__option_t 
theoryOfMode
 
struct
CVC4::options::theoryAlternates__option_t 
theoryAlternates
 
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::dtRewriteErrorSel__option_t 
dtRewriteErrorSel
 
struct
CVC4::options::dtForceAssignment__option_t 
dtForceAssignment
 
struct
CVC4::options::efficientEMatching__option_t 
efficientEMatching
 
struct
CVC4::options::rewriteRulesAsAxioms__option_t 
rewriteRulesAsAxioms
 
struct
CVC4::options::idlRewriteEq__option_t 
idlRewriteEq
 
struct
CVC4::options::bitvectorEagerBitblast__option_t 
bitvectorEagerBitblast
 
struct
CVC4::options::bitvectorShareLemmas__option_t 
bitvectorShareLemmas
 
struct
CVC4::options::bitvectorEagerFullcheck__option_t 
bitvectorEagerFullcheck
 
struct
CVC4::options::bitvectorInequalitySolver__option_t 
bitvectorInequalitySolver
 
struct
CVC4::options::bitvectorCoreSolver__option_t 
bitvectorCoreSolver
 
struct
CVC4::options::bvToBool__option_t 
bvToBool
 
struct
CVC4::options::bvPropagate__option_t 
bvPropagate
 
struct
CVC4::options::bvEquality__option_t 
bvEquality
 
struct
CVC4::options::stringCharCardinality__option_t 
stringCharCardinality
 
struct
CVC4::options::stringRegExpUnrollDepth__option_t 
stringRegExpUnrollDepth
 
struct
CVC4::options::stringFMF__option_t 
stringFMF
 
struct
CVC4::options::stringLB__option_t 
stringLB
 
struct
CVC4::options::stringExp__option_t 
stringExp
 
struct
CVC4::options::booleanTermConversionMode__option_t 
booleanTermConversionMode
 
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::ufssColoringSat__option_t 
ufssColoringSat
 
struct
CVC4::options::ufssTotality__option_t 
ufssTotality
 
struct
CVC4::options::ufssTotalityLimited__option_t 
ufssTotalityLimited
 
struct
CVC4::options::ufssTotalityLazy__option_t 
ufssTotalityLazy
 
struct
CVC4::options::ufssTotalitySymBreak__option_t 
ufssTotalitySymBreak
 
struct
CVC4::options::ufssAbortCardinality__option_t 
ufssAbortCardinality
 
struct
CVC4::options::ufssSmartSplits__option_t 
ufssSmartSplits
 
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::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::clauseSplit__option_t 
clauseSplit
 
struct
CVC4::options::preSkolemQuant__option_t 
preSkolemQuant
 
struct
CVC4::options::iteRemoveQuant__option_t 
iteRemoveQuant
 
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::eagerInstQuant__option_t 
eagerInstQuant
 
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::fmfModelBasedInst__option_t 
fmfModelBasedInst
 
struct
CVC4::options::fmfFullModelCheck__option_t 
fmfFullModelCheck
 
struct
CVC4::options::fmfFmcSimple__option_t 
fmfFmcSimple
 
struct
CVC4::options::fmfFmcCoverSimplify__option_t 
fmfFmcCoverSimplify
 
struct
CVC4::options::fmfFmcInterval__option_t 
fmfFmcInterval
 
struct
CVC4::options::fmfOneInstPerRound__option_t 
fmfOneInstPerRound
 
struct
CVC4::options::fmfOneQuantPerRound__option_t 
fmfOneQuantPerRound
 
struct
CVC4::options::fmfInstEngine__option_t 
fmfInstEngine
 
struct
CVC4::options::fmfRelevantDomain__option_t 
fmfRelevantDomain
 
struct
CVC4::options::fmfNewInstGen__option_t 
fmfNewInstGen
 
struct
CVC4::options::fmfInstGen__option_t 
fmfInstGen
 
struct
CVC4::options::fmfInstGenOneQuantPerRound__option_t 
fmfInstGenOneQuantPerRound
 
struct
CVC4::options::fmfFreshDistConst__option_t 
fmfFreshDistConst
 
struct
CVC4::options::fmfBoundInt__option_t 
fmfBoundInt
 
struct
CVC4::options::axiomInstMode__option_t 
axiomInstMode
 
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::fancyFinal__option_t 
fancyFinal
 
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::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::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::canIncludeFile__option_t 
canIncludeFile
 
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::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
 

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