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.
_ageWeightRatio
Options
[private]
_allocationBufferPrice
Options
[private]
_allocationBufferSize
Options
[private]
_arityCheck
Options
[private]
_backwardDemodulation
Options
[private]
_backwardSubsumption
Options
[private]
_bdOnSplittingBranches
Options
[private]
_elimDef
Options
[private]
_fdOnSplittingBranches
Options
[private]
_forwardDemodulation
Options
[private]
_forwardSubsumption
Options
[private]
_forwardSubsumptionResolution
Options
[private]
_headerPrecedenceKinky
Options
[private]
_include
Options
[private]
_inequalitySplitting
Options
[private]
_inheritedNegativeSelection
Options
[private]
_inputFile
Options
[private]
_inputSyntax
Options
[private]
_literalComparisonMode
Options
[private]
_lrsFirstMemoryCheck
Options
[private]
_lrsFirstTimeCheck
Options
[private]
_mainAlg
Options
[private]
_maxActive
Options
[private]
_maxInferenceDepth
Options
[private]
_maxPassive
Options
[private]
_maxSkolem
Options
[private]
_maxWeight
Options
[private]
_memoryLimit
Options
[private]
_miniscope
Options
[private]
_mode
Options
[private]
_names
Options
[private, static]
_noFreeVars
Options
[private]
_noInferencesBetweenRules
Options
[private]
_nongoalWeightCoefficient
Options
[private]
_orphanMurder
Options
[private]
_outputEqualityInfix
Options
[private]
_outputSyntax
Options
[private]
_paramodulation
Options
[private]
_proof
Options
[private]
_randomSeed
Options
[private]
_removeUnusedDefs
Options
[private]
_selectedEqualityWeightCoefficient
Options
[private]
_selection
Options
[private]
_showActive
Options
[private]
_showGen
Options
[private]
_showInput
Options
[private]
_showOptions
Options
[private]
_showPassive
Options
[private]
_showPrepro
Options
[private]
_showProfile
Options
[private]
_showWeightLimitChanges
Options
[private]
_silent
Options
[private]
_simplificationOrdering
Options
[private]
_sos
Options
[private]
_splitting
Options
[private]
_splittingStyle
Options
[private]
_splittingWithNaming
Options
[private]
_statistics
Options
[private]
_symbolPrecedence
Options
[private]
_symbolWeightByArity
Options
[private]
_tab
Options
[private]
_termWeightingScheme
Options
[private]
_testId
Options
[private]
_testNumber
Options
[private]
_timeLimit
Options
[private]
ageWeightRatio
() const
Options
[inline]
ageWeightRatio
(int newVal)
Options
[inline]
allocationBufferPrice
() const
Options
[inline]
allocationBufferPrice
(float newVal)
Options
[inline]
allocationBufferSize
() const
Options
[inline]
allocationBufferSize
(int newVal)
Options
[inline]
arityCheck
() const
Options
[inline]
arityCheck
(bool newVal)
Options
[inline]
backwardDemodulation
() const
Options
[inline]
backwardDemodulation
(Demodulation newVal)
Options
[inline]
backwardSubsumption
() const
Options
[inline]
backwardSubsumption
(Subsumption newVal)
Options
[inline]
bdOnSplittingBranches
() const
Options
[inline]
bdOnSplittingBranches
(bool newVal)
Options
[inline]
BLOCKING
enum value
Options
BY_ARITY
enum value
Options
BY_OCCURRENCE
enum value
Options
BY_REVERSE_ARITY
enum value
Options
CASC_18
enum value
Options
correct
(int argc, char *argv[])
Options
Demodulation
enum name
Options
DEMODULATION_ALL
enum value
Options
DEMODULATION_OFF
enum value
Options
DEMODULATION_PREORDERED
enum value
Options
DISCOUNT
enum value
Options
discount
(Selection selection)
Options
[static]
discount
(Selection selection, LiteralComparisonMode)
Options
[static]
elimDef
() const
Options
[inline]
elimDef
(int newVal)
Options
[inline]
fdOnSplittingBranches
() const
Options
[inline]
fdOnSplittingBranches
(bool newVal)
Options
[inline]
find
(const char *)
Options
[private]
forwardDemodulation
() const
Options
[inline]
forwardDemodulation
(Demodulation newVal)
Options
[inline]
forwardSubsumption
() const
Options
[inline]
forwardSubsumption
(Subsumption newVal)
Options
[inline]
forwardSubsumptionResolution
() const
Options
[inline]
forwardSubsumptionResolution
(bool newVal)
Options
[inline]
fullSplitting
()
Options
headerPrecedenceKinky
() const
Options
[inline]
headerPrecedenceKinky
(bool newVal)
Options
[inline]
include
() const
Options
[inline]
include
(const char *newVal)
Options
[inline]
includeFileName
(char *relativeName)
Options
inequalitySplitting
() const
Options
[inline]
inequalitySplitting
(int newVal)
Options
[inline]
inheritedNegativeSelection
() const
Options
[inline]
inheritedNegativeSelection
(bool newVal)
Options
[inline]
INPUT_KIF
enum value
Options
INPUT_TPTP
enum value
Options
inputFile
() const
Options
[inline]
inputFile
(const char *newVal)
Options
[inline]
inputSyntax
() const
Options
[inline]
inputSyntax
(InputSyntax newVal)
Options
[inline]
InputSyntax
enum name
Options
KBO
enum value
Options
KBO_NONREC
enum value
Options
kif
()
Options
KIF
enum value
Options
KINKY
enum value
Options
literalComparisonMode
() const
Options
[inline]
literalComparisonMode
(LiteralComparisonMode lcm)
Options
[inline]
LiteralComparisonMode
enum name
Options
LRS
enum value
Options
lrs
(Selection selection)
Options
[static]
lrs
(Selection selection, LiteralComparisonMode)
Options
[static]
lrsFirstMemoryCheck
() const
Options
[inline]
lrsFirstMemoryCheck
(int newVal)
Options
[inline]
lrsFirstTimeCheck
() const
Options
[inline]
lrsFirstTimeCheck
(int newVal)
Options
[inline]
mainAlg
() const
Options
[inline]
mainAlg
(MainAlg alg)
Options
[inline]
MainAlg
enum name
Options
maxActive
() const
Options
[inline]
maxActive
(long newVal)
Options
[inline]
maxInferenceDepth
() const
Options
[inline]
maxInferenceDepth
(int newVal)
Options
[inline]
maxPassive
() const
Options
[inline]
maxPassive
(long newVal)
Options
[inline]
maxSkolem
() const
Options
[inline]
maxSkolem
(int newVal)
Options
[inline]
maxWeight
() const
Options
[inline]
maxWeight
(long newVal)
Options
[inline]
memoryLimit
() const
Options
[inline]
memoryLimit
(int newVal)
Options
[inline]
miniscope
() const
Options
[inline]
miniscope
(bool newVal)
Options
[inline]
mode
() const
Options
[inline]
mode
(Mode m)
Options
Mode
enum name
Options
N_1005
enum value
Options
N_1009
enum value
Options
N_2
enum value
Options
N_3
enum value
Options
N_4
enum value
Options
N_5
enum value
Options
N_6
enum value
Options
N_7
enum value
Options
noFreeVars
() const
Options
[inline]
noFreeVars
(bool newVal)
Options
[inline]
noInferencesBetweenRules
() const
Options
[inline]
noInferencesBetweenRules
(bool newVal)
Options
[inline]
nongoalWeightCoefficient
() const
Options
[inline]
nongoalWeightCoefficient
(float newVal)
Options
[inline]
NORMAL
enum value
Options
Options
()
Options
orphanMurder
() const
Options
[inline]
orphanMurder
(bool newVal)
Options
[inline]
OTTER
enum value
Options
otter
(Selection selection)
Options
[static]
output
(ostream &) const
Options
outputEqualityInfix
() const
Options
[inline]
outputEqualityInfix
(bool newVal)
Options
[inline]
outputSyntax
() const
Options
[inline]
outputSyntax
(OutputSyntax newVal)
Options
[inline]
P_1
enum value
Options
P_1002
enum value
Options
P_1003
enum value
Options
P_1004
enum value
Options
P_1005
enum value
Options
P_1006
enum value
Options
P_1007
enum value
Options
P_1008
enum value
Options
P_1009
enum value
Options
P_2
enum value
Options
P_3
enum value
Options
P_4
enum value
Options
P_5
enum value
Options
P_6
enum value
Options
P_7
enum value
Options
PARALLEL
enum value
Options
paramodulation
() const
Options
[inline]
paramodulation
(bool newVal)
Options
[inline]
PREDICATE
enum value
Options
proof
() const
Options
[inline]
proof
(Proof newVal)
Options
[inline]
Proof
enum name
Options
PROOF_CONDENSED
enum value
Options
PROOF_FULL
enum value
Options
PROOF_OFF
enum value
Options
randomSeed
() const
Options
[inline]
randomSeed
(int newVal)
Options
[inline]
removeUnusedDefs
() const
Options
[inline]
removeUnusedDefs
(bool newVal)
Options
[inline]
selectedEqualityWeightCoefficient
() const
Options
[inline]
selectedEqualityWeightCoefficient
(float newVal)
Options
[inline]
Selection
enum name
Options
selection
() const
Options
[inline]
selection
(Selection s)
Options
[inline]
showActive
() const
Options
[inline]
showActive
(bool newVal)
Options
[inline]
showGen
() const
Options
[inline]
showGen
(bool newVal)
Options
[inline]
showInput
() const
Options
[inline]
showInput
(bool newVal)
Options
[inline]
showOptions
() const
Options
[inline]
showOptions
(bool newVal)
Options
[inline]
showPassive
() const
Options
[inline]
showPassive
(bool newVal)
Options
[inline]
showPrepro
() const
Options
[inline]
showPrepro
(bool newVal)
Options
[inline]
showProfile
() const
Options
[inline]
showProfile
(bool newVal)
Options
[inline]
showWeightLimitChanges
() const
Options
[inline]
showWeightLimitChanges
(bool newVal)
Options
[inline]
silent
() const
Options
[inline]
silent
(bool newVal)
Options
[inline]
SimplificationOrdering
enum name
Options
simplificationOrdering
() const
Options
[inline]
simplificationOrdering
(SimplificationOrdering newVal)
Options
[inline]
sos
() const
Options
[inline]
sos
(bool newVal)
Options
[inline]
SPLIT_OFF
enum value
Options
SPLIT_ON
enum value
Options
SPLIT_PREPRO
enum value
Options
splitting
() const
Options
[inline]
splitting
(Splitting newVal)
Options
[inline]
Splitting
enum name
Options
splittingStyle
() const
Options
[inline]
splittingStyle
(SplittingStyle newVal)
Options
[inline]
SplittingStyle
enum name
Options
splittingWithNaming
() const
Options
[inline]
splittingWithNaming
(bool newVal)
Options
[inline]
statistics
() const
Options
[inline]
statistics
(Statistics m)
Options
Statistics
enum name
Options
STATISTICS_BRIEF
enum value
Options
STATISTICS_DETAILED
enum value
Options
STATISTICS_OFF
enum value
Options
Subsumption
enum name
Options
SUBSUMPTION_MULTISET
enum value
Options
SUBSUMPTION_OFF
enum value
Options
SUBSUMPTION_OPTIMIZED
enum value
Options
SUBSUMPTION_SET
enum value
Options
SymbolPrecedence
enum name
Options
symbolPrecedence
() const
Options
[inline]
symbolPrecedence
(SymbolPrecedence newVal)
Options
[inline]
symbolWeightByArity
() const
Options
[inline]
symbolWeightByArity
(int newVal)
Options
[inline]
tab
() const
Options
[inline]
tab
(const char *newVal)
Options
[inline]
tabulate
(ostream &) const
Options
termWeightingScheme
() const
Options
[inline]
termWeightingScheme
(TermWeightingScheme newVal)
Options
[inline]
TermWeightingScheme
enum name
Options
testId
() const
Options
[inline]
testId
(const char *newVal)
Options
[inline]
testNumber
() const
Options
[inline]
testNumber
(int newVal)
Options
[inline]
testNumberChanged
() const
Options
[inline]
timeLimit
() const
Options
[inline]
timeLimit
(long newVal)
Options
[inline]
toXML
(ostream &str) const
Options
[private]
TWS_NONUNIFORM_CONSTANT
enum value
Options
TWS_UNIFORM
enum value
Options
VAMPIRE
enum value
Options
Generated on Sat Jun 28 15:08:59 2003 for Vampire by
1.3.2