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::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::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::efficientEMatching__option_t	efficientEMatching
struct CVC4::options::rewriteRulesAsAxioms__option_t	rewriteRulesAsAxioms
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::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::idlRewriteEq__option_t	idlRewriteEq
struct CVC4::options::booleanTermConversionMode__option_t	booleanTermConversionMode
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::theoryOfMode__option_t	theoryOfMode
struct CVC4::options::theoryAlternates__option_t	theoryAlternates
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::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::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::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::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
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::modelFormatMode__option_t	modelFormatMode
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::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

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

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

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

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

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

Referenced by CVC4::CommandPrintSuccess::applyPrintSuccess(), CVC4::CommandPrintSuccess::getPrintSuccess(), CVC4::language::input::operator<<(), CVC4::language::output::operator<<(), CVC4::kind::operator<<(), CVC4::operator<<(), CVC4::theory::operator<<(), CVC4::expr::operator<<(), CVC4::CommandPrintSuccess::Scope::Scope(), and CVC4::CommandPrintSuccess::setPrintSuccess().

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::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::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::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