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::modelFormatMode__option_t	modelFormatMode
struct CVC4::options::instFormatMode__option_t	instFormatMode
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::setsPropagate__option_t	setsPropagate
struct CVC4::options::setsEagerLemmas__option_t	setsEagerLemmas
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::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::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::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::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::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::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::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::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::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::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

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

Referenced by CVC4::expr::ExprDag::getDag().

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

Referenced by CVC4::expr::ExprSetDepth::getDepth().

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::out__option_t CVC4::options::out

Referenced by CVC4::CommandPrintSuccess::applyPrintSuccess(), CVC4::ExportUnsupportedException::ExportUnsupportedException(), CVC4::Chain::getOperator(), CVC4::CommandPrintSuccess::getPrintSuccess(), CVC4::LogicInfo::isComparableTo(), CVC4::Result::operator!=(), CVC4::SExpr::operator!=(), CVC4::TupleUpdateHashFunction::operator()(), CVC4::RecordUpdateHashFunction::operator()(), CVC4::SubrangeBoundsHashFunction::operator()(), CVC4::language::input::operator<<(), CVC4::language::output::operator<<(), CVC4::kind::operator<<(), CVC4::operator<<(), CVC4::theory::operator<<(), CVC4::expr::operator<<(), CVC4::AbstractValue::operator>=(), CVC4::UninterpretedConstant::operator>=(), CVC4::EmptySet::operator>=(), CVC4::ArrayStoreAll::operator>=(), CVC4::Cardinality::operator^(), CVC4::CommandPrintSuccess::Scope::Scope(), CVC4::Options::set(), CVC4::CommandPrintSuccess::setPrintSuccess(), CVC4::TypeCheckingException::TypeCheckingException(), CVC4::Proof::~Proof(), and CVC4::CommandPrintSuccess::Scope::~Scope().

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

Referenced by CVC4::expr::ExprSetLanguage::getLanguage().

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

struct CVC4::options::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::printSuccess__option_t CVC4::options::printSuccess

Referenced by CVC4::CommandPrintSuccess::Scope::Scope(), and CVC4::CommandPrintSuccess::setPrintSuccess().

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::verbosity__option_t CVC4::options::verbosity

Referenced by CVC4::Command::getCommandStatus(), CVC4::CheckSatCommand::~CheckSatCommand(), CVC4::ExpandDefinitionsCommand::~ExpandDefinitionsCommand(), CVC4::GetAssertionsCommand::~GetAssertionsCommand(), CVC4::GetAssignmentCommand::~GetAssignmentCommand(), CVC4::GetInfoCommand::~GetInfoCommand(), CVC4::GetInstantiationsCommand::~GetInstantiationsCommand(), CVC4::GetModelCommand::~GetModelCommand(), CVC4::GetOptionCommand::~GetOptionCommand(), CVC4::GetProofCommand::~GetProofCommand(), CVC4::GetUnsatCoreCommand::~GetUnsatCoreCommand(), CVC4::GetValueCommand::~GetValueCommand(), CVC4::QueryCommand::~QueryCommand(), and CVC4::SimplifyCommand::~SimplifyCommand().

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