Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Options Member List

This is the complete list of members for Options, including all inherited members.
_ageWeightRatioOptions [private]
_allocationBufferPriceOptions [private]
_allocationBufferSizeOptions [private]
_arityCheckOptions [private]
_backwardDemodulationOptions [private]
_backwardSubsumptionOptions [private]
_bdOnSplittingBranchesOptions [private]
_elimDefOptions [private]
_fdOnSplittingBranchesOptions [private]
_forwardDemodulationOptions [private]
_forwardSubsumptionOptions [private]
_forwardSubsumptionResolutionOptions [private]
_headerPrecedenceKinkyOptions [private]
_includeOptions [private]
_inequalitySplittingOptions [private]
_inheritedNegativeSelectionOptions [private]
_inputFileOptions [private]
_inputSyntaxOptions [private]
_literalComparisonModeOptions [private]
_lrsFirstMemoryCheckOptions [private]
_lrsFirstTimeCheckOptions [private]
_mainAlgOptions [private]
_maxActiveOptions [private]
_maxInferenceDepthOptions [private]
_maxPassiveOptions [private]
_maxSkolemOptions [private]
_maxWeightOptions [private]
_memoryLimitOptions [private]
_miniscopeOptions [private]
_modeOptions [private]
_namesOptions [private, static]
_noFreeVarsOptions [private]
_noInferencesBetweenRulesOptions [private]
_nongoalWeightCoefficientOptions [private]
_orphanMurderOptions [private]
_outputEqualityInfixOptions [private]
_outputSyntaxOptions [private]
_paramodulationOptions [private]
_proofOptions [private]
_randomSeedOptions [private]
_removeUnusedDefsOptions [private]
_selectedEqualityWeightCoefficientOptions [private]
_selectionOptions [private]
_showActiveOptions [private]
_showGenOptions [private]
_showInputOptions [private]
_showOptionsOptions [private]
_showPassiveOptions [private]
_showPreproOptions [private]
_showProfileOptions [private]
_showWeightLimitChangesOptions [private]
_silentOptions [private]
_simplificationOrderingOptions [private]
_sosOptions [private]
_splittingOptions [private]
_splittingStyleOptions [private]
_splittingWithNamingOptions [private]
_statisticsOptions [private]
_symbolPrecedenceOptions [private]
_symbolWeightByArityOptions [private]
_tabOptions [private]
_termWeightingSchemeOptions [private]
_testIdOptions [private]
_testNumberOptions [private]
_timeLimitOptions [private]
ageWeightRatio() constOptions [inline]
ageWeightRatio(int newVal)Options [inline]
allocationBufferPrice() constOptions [inline]
allocationBufferPrice(float newVal)Options [inline]
allocationBufferSize() constOptions [inline]
allocationBufferSize(int newVal)Options [inline]
arityCheck() constOptions [inline]
arityCheck(bool newVal)Options [inline]
backwardDemodulation() constOptions [inline]
backwardDemodulation(Demodulation newVal)Options [inline]
backwardSubsumption() constOptions [inline]
backwardSubsumption(Subsumption newVal)Options [inline]
bdOnSplittingBranches() constOptions [inline]
bdOnSplittingBranches(bool newVal)Options [inline]
BLOCKING enum valueOptions
BY_ARITY enum valueOptions
BY_OCCURRENCE enum valueOptions
BY_REVERSE_ARITY enum valueOptions
CASC_18 enum valueOptions
correct(int argc, char *argv[])Options
Demodulation enum nameOptions
DEMODULATION_ALL enum valueOptions
DEMODULATION_OFF enum valueOptions
DEMODULATION_PREORDERED enum valueOptions
DISCOUNT enum valueOptions
discount(Selection selection)Options [static]
discount(Selection selection, LiteralComparisonMode)Options [static]
elimDef() constOptions [inline]
elimDef(int newVal)Options [inline]
fdOnSplittingBranches() constOptions [inline]
fdOnSplittingBranches(bool newVal)Options [inline]
find(const char *)Options [private]
forwardDemodulation() constOptions [inline]
forwardDemodulation(Demodulation newVal)Options [inline]
forwardSubsumption() constOptions [inline]
forwardSubsumption(Subsumption newVal)Options [inline]
forwardSubsumptionResolution() constOptions [inline]
forwardSubsumptionResolution(bool newVal)Options [inline]
fullSplitting()Options
headerPrecedenceKinky() constOptions [inline]
headerPrecedenceKinky(bool newVal)Options [inline]
include() constOptions [inline]
include(const char *newVal)Options [inline]
includeFileName(char *relativeName)Options
inequalitySplitting() constOptions [inline]
inequalitySplitting(int newVal)Options [inline]
inheritedNegativeSelection() constOptions [inline]
inheritedNegativeSelection(bool newVal)Options [inline]
INPUT_KIF enum valueOptions
INPUT_TPTP enum valueOptions
inputFile() constOptions [inline]
inputFile(const char *newVal)Options [inline]
inputSyntax() constOptions [inline]
inputSyntax(InputSyntax newVal)Options [inline]
InputSyntax enum nameOptions
KBO enum valueOptions
KBO_NONREC enum valueOptions
kif()Options
KIF enum valueOptions
KINKY enum valueOptions
literalComparisonMode() constOptions [inline]
literalComparisonMode(LiteralComparisonMode lcm)Options [inline]
LiteralComparisonMode enum nameOptions
LRS enum valueOptions
lrs(Selection selection)Options [static]
lrs(Selection selection, LiteralComparisonMode)Options [static]
lrsFirstMemoryCheck() constOptions [inline]
lrsFirstMemoryCheck(int newVal)Options [inline]
lrsFirstTimeCheck() constOptions [inline]
lrsFirstTimeCheck(int newVal)Options [inline]
mainAlg() constOptions [inline]
mainAlg(MainAlg alg)Options [inline]
MainAlg enum nameOptions
maxActive() constOptions [inline]
maxActive(long newVal)Options [inline]
maxInferenceDepth() constOptions [inline]
maxInferenceDepth(int newVal)Options [inline]
maxPassive() constOptions [inline]
maxPassive(long newVal)Options [inline]
maxSkolem() constOptions [inline]
maxSkolem(int newVal)Options [inline]
maxWeight() constOptions [inline]
maxWeight(long newVal)Options [inline]
memoryLimit() constOptions [inline]
memoryLimit(int newVal)Options [inline]
miniscope() constOptions [inline]
miniscope(bool newVal)Options [inline]
mode() constOptions [inline]
mode(Mode m)Options
Mode enum nameOptions
N_1005 enum valueOptions
N_1009 enum valueOptions
N_2 enum valueOptions
N_3 enum valueOptions
N_4 enum valueOptions
N_5 enum valueOptions
N_6 enum valueOptions
N_7 enum valueOptions
noFreeVars() constOptions [inline]
noFreeVars(bool newVal)Options [inline]
noInferencesBetweenRules() constOptions [inline]
noInferencesBetweenRules(bool newVal)Options [inline]
nongoalWeightCoefficient() constOptions [inline]
nongoalWeightCoefficient(float newVal)Options [inline]
NORMAL enum valueOptions
Options()Options
orphanMurder() constOptions [inline]
orphanMurder(bool newVal)Options [inline]
OTTER enum valueOptions
otter(Selection selection)Options [static]
output(ostream &) constOptions
outputEqualityInfix() constOptions [inline]
outputEqualityInfix(bool newVal)Options [inline]
outputSyntax() constOptions [inline]
outputSyntax(OutputSyntax newVal)Options [inline]
P_1 enum valueOptions
P_1002 enum valueOptions
P_1003 enum valueOptions
P_1004 enum valueOptions
P_1005 enum valueOptions
P_1006 enum valueOptions
P_1007 enum valueOptions
P_1008 enum valueOptions
P_1009 enum valueOptions
P_2 enum valueOptions
P_3 enum valueOptions
P_4 enum valueOptions
P_5 enum valueOptions
P_6 enum valueOptions
P_7 enum valueOptions
PARALLEL enum valueOptions
paramodulation() constOptions [inline]
paramodulation(bool newVal)Options [inline]
PREDICATE enum valueOptions
proof() constOptions [inline]
proof(Proof newVal)Options [inline]
Proof enum nameOptions
PROOF_CONDENSED enum valueOptions
PROOF_FULL enum valueOptions
PROOF_OFF enum valueOptions
randomSeed() constOptions [inline]
randomSeed(int newVal)Options [inline]
removeUnusedDefs() constOptions [inline]
removeUnusedDefs(bool newVal)Options [inline]
selectedEqualityWeightCoefficient() constOptions [inline]
selectedEqualityWeightCoefficient(float newVal)Options [inline]
Selection enum nameOptions
selection() constOptions [inline]
selection(Selection s)Options [inline]
showActive() constOptions [inline]
showActive(bool newVal)Options [inline]
showGen() constOptions [inline]
showGen(bool newVal)Options [inline]
showInput() constOptions [inline]
showInput(bool newVal)Options [inline]
showOptions() constOptions [inline]
showOptions(bool newVal)Options [inline]
showPassive() constOptions [inline]
showPassive(bool newVal)Options [inline]
showPrepro() constOptions [inline]
showPrepro(bool newVal)Options [inline]
showProfile() constOptions [inline]
showProfile(bool newVal)Options [inline]
showWeightLimitChanges() constOptions [inline]
showWeightLimitChanges(bool newVal)Options [inline]
silent() constOptions [inline]
silent(bool newVal)Options [inline]
SimplificationOrdering enum nameOptions
simplificationOrdering() constOptions [inline]
simplificationOrdering(SimplificationOrdering newVal)Options [inline]
sos() constOptions [inline]
sos(bool newVal)Options [inline]
SPLIT_OFF enum valueOptions
SPLIT_ON enum valueOptions
SPLIT_PREPRO enum valueOptions
splitting() constOptions [inline]
splitting(Splitting newVal)Options [inline]
Splitting enum nameOptions
splittingStyle() constOptions [inline]
splittingStyle(SplittingStyle newVal)Options [inline]
SplittingStyle enum nameOptions
splittingWithNaming() constOptions [inline]
splittingWithNaming(bool newVal)Options [inline]
statistics() constOptions [inline]
statistics(Statistics m)Options
Statistics enum nameOptions
STATISTICS_BRIEF enum valueOptions
STATISTICS_DETAILED enum valueOptions
STATISTICS_OFF enum valueOptions
Subsumption enum nameOptions
SUBSUMPTION_MULTISET enum valueOptions
SUBSUMPTION_OFF enum valueOptions
SUBSUMPTION_OPTIMIZED enum valueOptions
SUBSUMPTION_SET enum valueOptions
SymbolPrecedence enum nameOptions
symbolPrecedence() constOptions [inline]
symbolPrecedence(SymbolPrecedence newVal)Options [inline]
symbolWeightByArity() constOptions [inline]
symbolWeightByArity(int newVal)Options [inline]
tab() constOptions [inline]
tab(const char *newVal)Options [inline]
tabulate(ostream &) constOptions
termWeightingScheme() constOptions [inline]
termWeightingScheme(TermWeightingScheme newVal)Options [inline]
TermWeightingScheme enum nameOptions
testId() constOptions [inline]
testId(const char *newVal)Options [inline]
testNumber() constOptions [inline]
testNumber(int newVal)Options [inline]
testNumberChanged() constOptions [inline]
timeLimit() constOptions [inline]
timeLimit(long newVal)Options [inline]
toXML(ostream &str) constOptions [private]
TWS_NONUNIFORM_CONSTANT enum valueOptions
TWS_UNIFORM enum valueOptions
VAMPIRE enum valueOptions

Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2