- v -

• vallst_addAxiom() : vallstAPI.h
• vallst_addConsequence() : vallstAPI.h
• vallst_addNamedAxiom() : vallstAPI.h
• vallst_alterAxiomIncMT() : vallstAPI.h
• vallst_alterAxiomIncMTMKeepAboves() : vallstAPI.h
• vallst_closeChangingSettingFile() : vallstAPI.h
• vallst_closeInTheoryFile() : vallstAPI.h
• vallst_closeOutTheoryFile() : vallstAPI.h
• vallst_extendFormulaNameArray() : vallstAPI.h
• vallst_extendNrOfVars() : vallstAPI.h
• vallst_formulaType() : vallstAPI.h
• vallst_getAbortThreshold() : vallstAPI.h
• vallst_getBreadthFstOptStrat() : vallstAPI.h
• vallst_getChangingSettingFile() : vallstAPI.h
• vallst_getChangingSettingFileName() : vallstAPI.h
• vallst_getCompleteModel() : vallstAPI.h
• vallst_getConst() : vallstAPI.h
• vallst_getFullLitValue() : vallstAPI.h
• vallst_getInTheoryFile() : vallstAPI.h
• vallst_getInTheoryFileName() : vallstAPI.h
• vallst_getKeepAboves() : vallstAPI.h
• vallst_getLevel() : vallstAPI.h
• vallst_getLitValue() : vallstAPI.h
• vallst_getNoAbortTime() : vallstAPI.h
• vallst_getNrOfVarsAllocated() : vallstAPI.h
• vallst_getOutTheoryFile() : vallstAPI.h
• vallst_getOutTheoryFileName() : vallstAPI.h
• vallst_getPrintChangingSetting() : vallstAPI.h
• vallst_getPrintOutTheory() : vallstAPI.h
• vallst_getProblemType() : vallstAPI.h
• vallst_getResultFile() : vallstAPI.h
• vallst_getResultFileName() : vallstAPI.h
• vallst_getSeed() : vallstAPI.h
• vallst_getSubstEqus() : vallstAPI.h
• vallst_getTotalSum() : vallstAPI.h
• vallst_getVerbosityVector() : vallstAPI.h
• vallst_hashStateCheck() : vallstAPI.h
• vallst_isConstraint() : vallstAPI.h
• vallst_lessThanEqMultToMoreThanMult() : vallstAPI.h
• vallst_lessThanEqToMoreThan() : vallstAPI.h
• vallst_makeCurrentAssumptionsSuggestions() : vallstAPI.h
• vallst_makeSearchAssumption() : vallstAPI.h
• vallst_maxConstraints() : vallstAPI.h
• vallst_moveToLevel0() : vallstAPI.h
• vallst_neg() : vallstAPI.h
• vallst_newFormulaNameArray() : vallstAPI.h
• vallst_newInstance() : vallstAPI.h
• vallst_parseCommandLineOptions() : vallstAPI.h
• vallst_printAllGgcditTours() : vallstAPI.h
• vallst_printChangingSetting() : vallstAPI.h
• vallst_printChangingSettingToFile() : vallstAPI.h
• vallst_printEstimatedPrologues() : vallstAPI.h
• vallst_printGgcditTour() : vallstAPI.h
• vallst_printHashInfo() : vallstAPI.h
• vallst_printModel() : vallstAPI.h
• vallst_printNrOfUncheckedVars() : vallstAPI.h
• vallst_printNrOfVarsSet() : vallstAPI.h
• vallst_printPrologues() : vallstAPI.h
• vallst_printSettings() : vallstAPI.h
• vallst_printTheory() : vallstAPI.h
• vallst_printTheoryToFile() : vallstAPI.h
• vallst_printTimePassed() : vallstAPI.h
• vallst_printVallstResult() : vallstAPI.h
• vallst_propagateNrOf3ClausesEstimate() : vallstAPI.h
• vallst_propagateNrOfLitOccsEstimate() : vallstAPI.h
• vallst_readInTheoryBody() : vallstAPI.h
• vallst_readInTheoryHead() : vallstAPI.h
• vallst_removeAssumptions() : vallstAPI.h
• vallst_removeLastAssumption() : vallstAPI.h
• vallst_search() : vallstAPI.h
• vallst_setAbortThreshold() : vallstAPI.h
• vallst_setBreadthFstOptStrat() : vallstAPI.h
• vallst_setBufferResetFrequency() : vallstAPI.h
• vallst_setBufferSizeConst() : vallstAPI.h
• vallst_setBufferSizeNonAxDep() : vallstAPI.h
• vallst_setBufferSizeVarDep() : vallstAPI.h
• vallst_setCallback() : vallstAPI.h
• vallst_setCCLeeway() : vallstAPI.h
• vallst_setChangingSettingFile() : vallstAPI.h
• vallst_setChangingSettingFileName() : vallstAPI.h
• vallst_setCompleteModel() : vallstAPI.h
• vallst_setConvert3ClausesIntoEqus() : vallstAPI.h
• vallst_setCreatePhantomConflictClauses() : vallstAPI.h
• vallst_setFirstRestart() : vallstAPI.h
• vallst_setFstNrOfLevelsAllocSize() : vallstAPI.h
• vallst_setGoodClauseSize() : vallstAPI.h
• vallst_setGoodLevel() : vallstAPI.h
• vallst_setHeurAxSize() : vallstAPI.h
• vallst_setIgnorePrologue() : vallstAPI.h
• vallst_setImproveProofLevel() : vallstAPI.h
• vallst_setInTheoryFile() : vallstAPI.h
• vallst_setInTheoryFileName() : vallstAPI.h
• vallst_setKeepAboves() : vallstAPI.h
• vallst_setKeepCCMetaMetaThreshold() : vallstAPI.h
• vallst_setKeepConflictClauseLengthThreshold() : vallstAPI.h
• vallst_setLitPairStrFunc() : vallstAPI.h
• vallst_setLooseTheoryMetaSizeLeeway() : vallstAPI.h
• vallst_setLooseTheorySizeLeeway() : vallstAPI.h
• vallst_setLooseTheorySizeLeewayKeep() : vallstAPI.h
• vallst_setLooseTimeLimitBase() : vallstAPI.h
• vallst_setLooseTimeLimitMod() : vallstAPI.h
• vallst_setMaxHashLoad() : vallstAPI.h
• vallst_setMaxSkippedSimps() : vallstAPI.h
• vallst_setMetaMetaPruneEnd() : vallstAPI.h
• vallst_setMetaMetaPruneFrequency() : vallstAPI.h
• vallst_setMetaMetaPruneStart() : vallstAPI.h
• vallst_setMetaPruneEnd() : vallstAPI.h
• vallst_setMetaPruneFrequency() : vallstAPI.h
• vallst_setMetaPruneStart() : vallstAPI.h
• vallst_setNextBatchSizeConst() : vallstAPI.h
• vallst_setNoAbortTime() : vallstAPI.h
• vallst_setNonAxChunkSizeAxDep() : vallstAPI.h
• vallst_setNonAxChunkSizeConst() : vallstAPI.h
• vallst_setNonAxChunkSizeVarDep() : vallstAPI.h
• vallst_setNrOf3ClausesEstimate() : vallstAPI.h
• vallst_setNrOfFreeChunksCap() : vallstAPI.h
• vallst_setNrOfLitOccsEstimate() : vallstAPI.h
• vallst_setOutTheoryFile() : vallstAPI.h
• vallst_setOutTheoryFileName() : vallstAPI.h
• vallst_setPBVarPrefixChar() : vallstAPI.h
• vallst_setPositiveHeurAxSign() : vallstAPI.h
• vallst_setPositiveSign() : vallstAPI.h
• vallst_setPrintChangingSetting() : vallstAPI.h
• vallst_setPrintOutTheory() : vallstAPI.h
• vallst_setProblemType() : vallstAPI.h
• vallst_setRandomBranchSign() : vallstAPI.h
• vallst_setRandomFormulaLit() : vallstAPI.h
• vallst_setRemoveTmpCauses() : vallstAPI.h
• vallst_setResetBuffersBetweenSearches() : vallstAPI.h
• vallst_setRestartFunc() : vallstAPI.h
• vallst_setRestartPredefFunc() : vallstAPI.h
• vallst_setRestartProlongCap() : vallstAPI.h
• vallst_setRestartStart() : vallstAPI.h
• vallst_setResultFile() : vallstAPI.h
• vallst_setResultFileName() : vallstAPI.h
• vallst_setSeed() : vallstAPI.h
• vallst_setSimpSetting() : vallstAPI.h
• vallst_setSimpSettingSlow() : vallstAPI.h
• vallst_setSimpTimeLimitFast() : vallstAPI.h
• vallst_setSimpTimeLimitSlow() : vallstAPI.h
• vallst_setStartConst() : vallstAPI.h
• vallst_setStartWithBinFstBcp() : vallstAPI.h
• vallst_setStrengthLeeway() : vallstAPI.h
• vallst_setStrengthLeewayFormula() : vallstAPI.h
• vallst_setStrengthLeewaySize() : vallstAPI.h
• vallst_setStrengthLeewaySizeFormula() : vallstAPI.h
• vallst_setSubstEqus() : vallstAPI.h
• vallst_setTightCCLeeway() : vallstAPI.h
• vallst_setTightKeepCCThreshold() : vallstAPI.h
• vallst_setTightMetaMetaPruneEnd() : vallstAPI.h
• vallst_setTightMetaMetaPruneStart() : vallstAPI.h
• vallst_setTightMetaPruneStart() : vallstAPI.h
• vallst_setTightTheoryMetaSizeLeeway() : vallstAPI.h
• vallst_setTightTheorySizeLeeway() : vallstAPI.h
• vallst_setTightTheorySizeLeewayKeep() : vallstAPI.h
• vallst_setTightTimeLimitBase() : vallstAPI.h
• vallst_setTightTimeLimitMod() : vallstAPI.h
• vallst_setTimeLimitInMilliSec() : vallstAPI.h
• vallst_setTimeLimitInSec() : vallstAPI.h
• vallst_setUseDoppelganger() : vallstAPI.h
• vallst_setVarMapFile() : vallstAPI.h
• vallst_setVarMapFileName() : vallstAPI.h
• vallst_setVerbosityLevel() : vallstAPI.h
• vallst_setVerbosityVector() : vallstAPI.h
• vallst_simplify() : vallstAPI.h
• vallst_simplifySlow() : vallstAPI.h
• vallst_substEqus() : vallstAPI.h
• vallst_sumOpenTrue() : vallstAPI.h
• vallst_sumTrue() : vallstAPI.h

---