cvc4-1.4
Data Structure Index
A | B | C | D | E | F | G | H | I | K | L | M | N | O | P | Q | R | S | T | U | V | W | Z
A
AbstractValue (CVC4)
AbstractValueHashFunction (CVC4)
abstractValues__option_t (CVC4::options)
aggressiveMiniscopeQuant__option_t (CVC4::options)
arithDioSolver__option_t (CVC4::options)
arithErrorSelectionRule__option_t (CVC4::options)
arithHeuristicPivots__option_t (CVC4::options)
arithMLTrick__option_t (CVC4::options)
arithMLTrickSubstitutions__option_t (CVC4::options)
arithPivotThreshold__option_t (CVC4::options)
arithPropagateMaxLength__option_t (CVC4::options)
arithPropagationMode__option_t (CVC4::options)
arithPropAsLemmaLength__option_t (CVC4::options)
arithRewriteEq__option_t (CVC4::options)
arithSimplexCheckPeriod__option_t (CVC4::options)
arithStandardCheckVarOrderPivots__option_t (CVC4::options)
arithUnateLemmaMode__option_t (CVC4::options)
arraysEagerIndexSplitting__option_t (CVC4::options)
arraysEagerLemmas__option_t (CVC4::options)
arraysLazyRIntro1__option_t (CVC4::options)
arraysModelBased__option_t (CVC4::options)
arraysOptimizeLinear__option_t (CVC4::options)
ArrayStoreAll (CVC4)
ArrayStoreAllHashFunction (CVC4)
ArrayType (CVC4)
AscriptionType (CVC4)
AscriptionTypeHashFunction (CVC4)
AssertCommand (CVC4)
axiomInstMode__option_t (CVC4::options)
B
biasedITERemoval__option_t (CVC4::options)
binary_name__option_t (CVC4::options)
bitblastMode__option_t (CVC4::options)
BitVector (CVC4)
bitvectorAig__option_t (CVC4::options)
bitvectorAigSimplifications__option_t (CVC4::options)
bitvectorAlgebraicBudget__option_t (CVC4::options)
bitvectorAlgebraicSolver__option_t (CVC4::options)
BitVectorBitOf (CVC4)
BitVectorBitOfHashFunction (CVC4)
bitvectorDivByZeroConst__option_t (CVC4::options)
bitvectorEqualitySlicer__option_t (CVC4::options)
bitvectorEqualitySolver__option_t (CVC4::options)
BitVectorExtract (CVC4)
BitVectorExtractHashFunction (CVC4)
BitVectorHashFunction (CVC4)
bitvectorInequalitySolver__option_t (CVC4::options)
bitvectorPropagate__option_t (CVC4::options)
bitvectorQuickXplain__option_t (CVC4::options)
BitVectorRepeat (CVC4)
BitVectorRotateLeft (CVC4)
BitVectorRotateRight (CVC4)
BitVectorSignExtend (CVC4)
BitVectorSize (CVC4)
bitvectorToBool__option_t (CVC4::options)
BitVectorType (CVC4)
BitVectorZeroExtend (CVC4)
booleanTermConversionMode__option_t (CVC4::options)
BooleanType (CVC4)
BoolHashFunction (CVC4)
bvAbstraction__option_t (CVC4::options)
bvEagerExplanations__option_t (CVC4::options)
bvIntroducePow2__option_t (CVC4::options)
bvNumFunc__option_t (CVC4::options)
C
Cardinality (CVC4)
CardinalityBeth (CVC4)
CardinalityUnknown (CVC4)
cbqi__option_t (CVC4::options)
CDInsertHashMap (CVC4::context)
CDTrailHashMap (CVC4::context)
Chain (CVC4)
ChainHashFunction (CVC4)
checkModels__option_t (CVC4::options)
checkProofs__option_t (CVC4::options)
CheckSatCommand (CVC4)
clauseSplit__option_t (CVC4::options)
CLFlag (CVC3)
CLFlags (CVC3)
cnfQuant__option_t (CVC4::options)
collectPivots__option_t (CVC4::options)
Command (CVC4)
CommandFailure (CVC4)
CommandPrintSuccess (CVC4)
CommandSequence (CVC4)
CommandStatus (CVC4)
CommandSuccess (CVC4)
CommandUnsupported (CVC4)
CommentCommand (CVC4)
compressItes__option_t (CVC4::options)
condenseFunctionValues__option_t (CVC4::options)
Configuration (CVC4)
Expr::const_iterator (CVC4)
ConstructorType (CVC4)
continuedExecution__option_t (CVC4::options)
cumulativeMillisecondLimit__option_t (CVC4::options)
cumulativeResourceLimit__option_t (CVC4::options)
D
Datatype (CVC4)
DatatypeConstructor (CVC4)
DatatypeConstructorArg (CVC4)
DatatypeConstructorArgIterator (CVC4)
DatatypeConstructorIterator (CVC4)
DatatypeDeclarationCommand (CVC4)
DatatypeHashFunction (CVC4)
DatatypeResolutionException (CVC4)
DatatypeSelfType (CVC4)
DatatypeType (CVC4)
DatatypeUnresolvedType (CVC4)
decisionMode__option_t (CVC4::options)
decisionRandomWeight__option_t (CVC4::options)
decisionStopOnly__option_t (CVC4::options)
decisionThreshold__option_t (CVC4::options)
decisionUseWeight__option_t (CVC4::options)
decisionWeightInternal__option_t (CVC4::options)
DeclarationDefinitionCommand (CVC4)
DeclarationSequence (CVC4)
DeclareFunctionCommand (CVC4)
DeclareTypeCommand (CVC4)
defaultDagThresh__option_t (CVC4::options)
defaultExprDepth__option_t (CVC4::options)
DefineFunctionCommand (CVC4)
DefineNamedFunctionCommand (CVC4)
DefineTypeCommand (CVC4)
dioRepeat__option_t (CVC4::options)
dioSolverTurns__option_t (CVC4::options)
Divisible (CVC4)
DivisibleHashFunction (CVC4)
doCutAllBounded__option_t (CVC4::options)
doITESimp__option_t (CVC4::options)
doITESimpOnRepeat__option_t (CVC4::options)
doStaticLearning__option_t (CVC4::options)
dtForceAssignment__option_t (CVC4::options)
dtRewriteErrorSel__option_t (CVC4::options)
dtStcInduction__option_t (CVC4::options)
dumpInstantiations__option_t (CVC4::options)
dumpModels__option_t (CVC4::options)
dumpProofs__option_t (CVC4::options)
E
eagerInstQuant__option_t (CVC4::options)
earlyExit__option_t (CVC4::options)
earlyTypeChecking__option_t (CVC4::options)
EchoCommand (CVC4)
EmptyCommand (CVC4)
EmptySet (CVC4)
EmptySetHashFunction (CVC4)
err__option_t (CVC4::options)
Exception (CVC4)
expandDefinitions__option_t (CVC4::options)
ExpandDefinitionsCommand (CVC4)
exportDioDecompositions__option_t (CVC4::options)
Command::ExportTransformer (CVC4)
ExportUnsupportedException (CVC4)
Expr (CVC3)
Expr (CVC4)
ExprDag (CVC4::expr)
ExprHashFunction (CVC4)
ExprHashMap (CVC3)
ExprManager (CVC3)
ExprManager (CVC4)
ExprManagerMapCollection (CVC4)
ExprMap (CVC3)
ExprPrintTypes (CVC4::expr)
ExprSetDepth (CVC4::expr)
ExprSetLanguage (CVC4::expr)
ExprStream (CVC4)
Parser::ExprStream (CVC4::parser)
F
fallbackSequential__option_t (CVC4::options)
filesystemAccess__option_t (CVC4::options)
finiteModelFind__option_t (CVC4::options)
flipDecision__option_t (CVC4::options)
fmfBoundInt__option_t (CVC4::options)
fmfBoundIntLazy__option_t (CVC4::options)
fmfFmcSimple__option_t (CVC4::options)
fmfFreshDistConst__option_t (CVC4::options)
fmfInstEngine__option_t (CVC4::options)
fmfInstGen__option_t (CVC4::options)
fmfInstGenOneQuantPerRound__option_t (CVC4::options)
fmfOneInstPerRound__option_t (CVC4::options)
fmfOneQuantPerRound__option_t (CVC4::options)
foPropQuant__option_t (CVC4::options)
forceLogic__option_t (CVC4::options)
forceNoLimitCpuWhileDump__option_t (CVC4::options)
fullSaturateQuant__option_t (CVC4::options)
FunctionType (CVC4)
G
GetAssertionsCommand (CVC4)
GetAssignmentCommand (CVC4)
GetInfoCommand (CVC4)
GetInstantiationsCommand (CVC4)
GetModelCommand (CVC4)
GetOptionCommand (CVC4)
GetProofCommand (CVC4)
GetUnsatCoreCommand (CVC4)
GetValueCommand (CVC4)
H
hash (__gnu_cxx)
havePenalties__option_t (CVC4::options)
help__option_t (CVC4::options)
I
idlRewriteEq__option_t (CVC4::options)
IllegalArgumentException (CVC4)
in__option_t (CVC4::options)
incrementalParallel__option_t (CVC4::options)
incrementalSolving__option_t (CVC4::options)
Input (CVC4::parser)
inputLanguage__option_t (CVC4::options)
InputStream (CVC4::parser)
InputStreamException (CVC4::parser)
instFormatMode__option_t (CVC4::options)
instMaxLevel__option_t (CVC4::options)
instWhenMode__option_t (CVC4::options)
Integer (CVC4)
IntegerHashFunction (CVC4)
IntegerType (CVC4)
interactive__option_t (CVC4::options)
interactivePrompt__option_t (CVC4::options)
internalReps__option_t (CVC4::options)
IntToBitVector (CVC4)
StatisticsBase::iterator (CVC4)
K
KindHashFunction (CVC4::kind)
L
languageHelp__option_t (CVC4::options)
LemmaInputChannel (CVC4)
lemmaInputChannel__option_t (CVC4::options)
LemmaOutputChannel (CVC4)
lemmaOutputChannel__option_t (CVC4::options)
lemmaRejectCutSize__option_t (CVC4::options)
literalMatchMode__option_t (CVC4::options)
LogicException (CVC4)
LogicInfo (CVC4)
M
macrosQuant__option_t (CVC4::options)
MapPickler (CVC4::expr::pickle)
maxApproxDepth__option_t (CVC4::options)
maxCutsInContext__option_t (CVC4::options)
maxReplayTree__option_t (CVC4::options)
mbqiMode__option_t (CVC4::options)
memoryMap__option_t (CVC4::options)
minisatDumpDimacs__option_t (CVC4::options)
minisatUseElim__option_t (CVC4::options)
miniscopeQuant__option_t (CVC4::options)
miniscopeQuantFreeVar__option_t (CVC4::options)
ModalException (CVC4)
modelFormatMode__option_t (CVC4::options)
modelUninterpDtEnum__option_t (CVC4::options)
N
newProp__option_t (CVC4::options)
nnfQuant__option_t (CVC4::options)
NodeTemplate (CVC4)
O
OptionException (CVC4)
Options (CVC4)
out__option_t (CVC4::options)
outputLanguage__option_t (CVC4::options)
P
PairHashFunction (CVC4)
parseOnly__option_t (CVC4::options)
Parser (CVC4::parser)
ParserBuilder (CVC4::parser)
ParserEndOfFileException (CVC4::parser)
ParserException (CVC4::parser)
pbRewrites__option_t (CVC4::options)
pbRewriteThreshold__option_t (CVC4::options)
perCallMillisecondLimit__option_t (CVC4::options)
perCallResourceLimit__option_t (CVC4::options)
Pickle (CVC4::expr::pickle)
Pickler (CVC4::expr::pickle)
PicklingException (CVC4::expr::pickle)
PopCommand (CVC4)
ppAssertMaxSubSize__option_t (CVC4::options)
Predicate (CVC4)
PredicateHashFunction (CVC4)
prenexQuant__option_t (CVC4::options)
preprocessOnly__option_t (CVC4::options)
preSkolemQuant__option_t (CVC4::options)
printSuccess__option_t (CVC4::options)
produceAssignments__option_t (CVC4::options)
produceModels__option_t (CVC4::options)
Proof (CVC3)
Proof (CVC4)
proof__option_t (CVC4::options)
PropagateRuleCommand (CVC4)
PushCommand (CVC4)
Q
qcfMode__option_t (CVC4::options)
qcfTConstraint__option_t (CVC4::options)
qcfWhenMode__option_t (CVC4::options)
quantConflictFind__option_t (CVC4::options)
quantRewriteRules__option_t (CVC4::options)
QueryCommand (CVC4)
QuitCommand (CVC4)
R
Rational (CVC4)
RationalFromDoubleException (CVC4)
RationalHashFunction (CVC4)
RealType (CVC4)
Record (CVC4)
RecordHashFunction (CVC4)
RecordSelect (CVC4)
RecordSelectHashFunction (CVC4)
RecordType (CVC4)
RecordUpdate (CVC4)
RecordUpdateHashFunction (CVC4)
recurseCbqi__option_t (CVC4::options)
RegExp (CVC4)
RegExpHashFunction (CVC4)
registerQuantBodyTerms__option_t (CVC4::options)
relationalTriggers__option_t (CVC4::options)
relevantTriggers__option_t (CVC4::options)
repeatSimp__option_t (CVC4::options)
replayEarlyCloseDepths__option_t (CVC4::options)
replayFailureLemma__option_t (CVC4::options)
replayFailurePenalty__option_t (CVC4::options)
replayFilename__option_t (CVC4::options)
replayLog__option_t (CVC4::options)
replayNumericFailurePenalty__option_t (CVC4::options)
replayRejectCutSize__option_t (CVC4::options)
replayStream__option_t (CVC4::options)
restrictedPivots__option_t (CVC4::options)
Result (CVC4)
revertArithModels__option_t (CVC4::options)
rewriteApplyToConst__option_t (CVC4::options)
rewriteDivk__option_t (CVC4::options)
RewriteRuleCommand (CVC4)
rrOneInstPerRound__option_t (CVC4::options)
rrTurns__option_t (CVC4::options)
S
sat_refine_conflicts__option_t (CVC4::options)
satClauseDecay__option_t (CVC4::options)
satRandomFreq__option_t (CVC4::options)
satRandomSeed__option_t (CVC4::options)
satRestartFirst__option_t (CVC4::options)
satRestartInc__option_t (CVC4::options)
SatSolverFactory (CVC4::prop)
satVarDecay__option_t (CVC4::options)
CommandPrintSuccess::Scope (CVC4)
ExprDag::Scope (CVC4::expr)
ExprPrintTypes::Scope (CVC4::expr)
ExprSetDepth::Scope (CVC4::expr)
ExprSetLanguage::Scope (CVC4::expr)
ScopeException (CVC4)
segvSpin__option_t (CVC4::options)
SelectorType (CVC4)
semanticChecks__option_t (CVC4::options)
SetBenchmarkLogicCommand (CVC4)
SetBenchmarkStatusCommand (CVC4)
SetInfoCommand (CVC4)
SetOptionCommand (CVC4)
setsEagerLemmas__option_t (CVC4::options)
setsPropagate__option_t (CVC4::options)
SetType (CVC4)
SetUserAttributeCommand (CVC4)
SExpr (CVC4)
SExprKeyword (CVC4)
SExprType (CVC4)
SharedChannel (CVC4)
sharingFilterByLength__option_t (CVC4::options)
simpleIteLiftQuant__option_t (CVC4::options)
simplificationMode__option_t (CVC4::options)
SimplifyCommand (CVC4)
simplifyWithCareEnabled__option_t (CVC4::options)
skolemizeArguments__option_t (CVC4::options)
smartTriggers__option_t (CVC4::options)
SmtEngine (CVC4)
soiApproxMajorFailure__option_t (CVC4::options)
soiApproxMajorFailurePen__option_t (CVC4::options)
soiApproxMinorFailure__option_t (CVC4::options)
soiApproxMinorFailurePen__option_t (CVC4::options)
soiQuickExplain__option_t (CVC4::options)
SortConstructorType (CVC4)
sortInference__option_t (CVC4::options)
SortType (CVC4)
StatisticsBase::StatCmp (CVC4)
Statistics (CVC4)
statistics__option_t (CVC4::options)
StatisticsBase (CVC4)
statsEveryQuery__option_t (CVC4::options)
statsHideZeros__option_t (CVC4::options)
strictParsing__option_t (CVC4::options)
String (CVC4)
stringCharCardinality__option_t (CVC4::options)
stringEIT__option_t (CVC4::options)
stringExp__option_t (CVC4::options)
stringFMF__option_t (CVC4::options)
StringHashFunction (CVC4)
StringHashFunction (CVC4::strings)
stringLB__option_t (CVC4::options)
stringOpt1__option_t (CVC4::options)
stringOpt2__option_t (CVC4::options)
StringType (CVC4)
SubrangeBound (CVC4)
SubrangeBounds (CVC4)
SubrangeBoundsHashFunction (CVC4)
SubrangeType (CVC4)
SymbolTable (CVC4)
SynchronizedSharedChannel (CVC4)
T
tearDownIncremental__option_t (CVC4::options)
TesterType (CVC4)
TestOutputChannel (CVC4::theory)
Theorem (CVC3)
theoryAlternates__option_t (CVC4::options)
theoryOfMode__option_t (CVC4::options)
thread_id__option_t (CVC4::options)
threadArgv__option_t (CVC4::options)
ThreadLocalImpl (CVC4)
ThreadLocalImpl< T *, true > (CVC4)
ThreadLocalImpl< T, false > (CVC4)
ThreadLocalImpl< T, true > (CVC4)
threads__option_t (CVC4::options)
threadStackSize__option_t (CVC4::options)
trySolveIntStandardEffort__option_t (CVC4::options)
TupleSelect (CVC4)
TupleSelectHashFunction (CVC4)
TupleType (CVC4)
TupleUpdate (CVC4)
TupleUpdateHashFunction (CVC4)
Type (CVC3)
Type (CVC4)
typeChecking__option_t (CVC4::options)
TypeCheckingException (CVC4)
TypeConstantHashFunction (CVC4)
TypeHashFunction (CVC4)
U
ufssAbortCardinality__option_t (CVC4::options)
ufssCliqueSplits__option_t (CVC4::options)
ufssDiseqPropagation__option_t (CVC4::options)
ufssEagerSplits__option_t (CVC4::options)
ufssExplainedCliques__option_t (CVC4::options)
ufssFairness__option_t (CVC4::options)
ufssMinimalModel__option_t (CVC4::options)
ufssRegions__option_t (CVC4::options)
ufssSimpleCliques__option_t (CVC4::options)
ufssSymBreak__option_t (CVC4::options)
ufssTotality__option_t (CVC4::options)
ufssTotalityLimited__option_t (CVC4::options)
ufssTotalitySymBreak__option_t (CVC4::options)
ufSymmetryBreaker__option_t (CVC4::options)
unconstrainedSimp__option_t (CVC4::options)
UninterpretedConstant (CVC4)
UninterpretedConstantHashFunction (CVC4)
UnrecognizedOptionException (CVC4)
unsatCores__option_t (CVC4::options)
UnsignedHashFunction (CVC4)
useApprox__option_t (CVC4::options)
useFC__option_t (CVC4::options)
userPatternsQuant__option_t (CVC4::options)
useSOI__option_t (CVC4::options)
V
ValidityChecker (CVC3)
varElimQuant__option_t (CVC4::options)
VariableTypeMap (CVC4)
verbosity__option_t (CVC4::options)
version__option_t (CVC4::options)
W
waitToJoin__option_t (CVC4::options)
Z
zombieHuntThreshold__option_t (CVC4::options)