Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
Opt Member List
This is the complete list of members for
Opt
, including all inherited members.
_changed
Opt
[protected]
_name
Opt
[protected]
_short
Opt
[protected]
_tag
Opt
[protected]
AGE_WEIGHT_RATIO
enum value
Opt
ALLOCATION_BUFFER_PRICE
enum value
Opt
ALLOCATION_BUFFER_SIZE
enum value
Opt
ARITY_CHECK
enum value
Opt
BACKWARD_DEMODULATION
enum value
Opt
BACKWARD_SUBSUMPTION
enum value
Opt
BD_ON_SPLITTING_BRANCHES
enum value
Opt
changed
() const
Opt
[inline]
ELIM_DEF
enum value
Opt
FD_ON_SPLITTING_BRANCHES
enum value
Opt
FORWARD_DEMODULATION
enum value
Opt
FORWARD_SUBSUMPTION
enum value
Opt
FORWARD_SUBSUMPTION_RESOLUTION
enum value
Opt
HEADER_PRECEDENCE_KINKY
enum value
Opt
INCLUDE
enum value
Opt
INEQUALITY_SPLITTING
enum value
Opt
INHERITED_NEGATIVE_SELECTION
enum value
Opt
INPUT_FILE
enum value
Opt
INPUT_SYNTAX
enum value
Opt
LITERAL_COMPARISON_MODE
enum value
Opt
LRS_FIRST_MEMORY_CHECK
enum value
Opt
LRS_FIRST_TIME_CHECK
enum value
Opt
MAIN_ALG
enum value
Opt
MAX_ACTIVE
enum value
Opt
MAX_INFERENCE_DEPTH
enum value
Opt
MAX_PASSIVE
enum value
Opt
MAX_SKOLEM
enum value
Opt
MAX_WEIGHT
enum value
Opt
MEMORY_LIMIT
enum value
Opt
MINISCOPE
enum value
Opt
MODE
enum value
Opt
name
() const
Opt
[inline]
NO_FREE_VARS
enum value
Opt
NO_INFERENCES_BETWEEN_RULES
enum value
Opt
NONGOAL_WEIGHT_COEFFICIENT
enum value
Opt
Opt
(Tag t, const char *nm, const char *srt)
Opt
[inline]
ORPHAN_MURDER
enum value
Opt
output
(ostream &str) const
Opt
OUTPUT_EQUALITY_INFIX
enum value
Opt
OUTPUT_SYNTAX
enum value
Opt
PARAMODULATION
enum value
Opt
PROOF
enum value
Opt
quotes
() const=0
Opt
[pure virtual]
RANDOM_SEED
enum value
Opt
REMOVE_UNUSED_DEF
enum value
Opt
SELECTED_EQUALITY_WEIGHT_COEFFICIENT
enum value
Opt
SELECTION
enum value
Opt
set
(const char *val)=0
Opt
[pure virtual]
SHOW_ACTIVE
enum value
Opt
SHOW_GEN
enum value
Opt
SHOW_INPUT
enum value
Opt
SHOW_OPTIONS
enum value
Opt
SHOW_PASSIVE
enum value
Opt
SHOW_PREPRO
enum value
Opt
SHOW_PROFILE
enum value
Opt
SHOW_WEIGHT_LIMIT_CHANGES
enum value
Opt
SILENT
enum value
Opt
SIMPLIFICATION_ORDERING
enum value
Opt
SOS
enum value
Opt
SPLITTING
enum value
Opt
SPLITTING_STYLE
enum value
Opt
SPLITTING_WITH_NAMING
enum value
Opt
STATISTICS
enum value
Opt
SYMBOL_PRECEDENCE
enum value
Opt
SYMBOL_WEIGHT_BY_ARITY
enum value
Opt
TAB
enum value
Opt
tabulate
(ostream &str) const
Opt
Tag
enum name
Opt
TERM_WEIGHTING_SCHEME
enum value
Opt
TEST_ID
enum value
Opt
TEST_NUMBER
enum value
Opt
TIME_LIMIT
enum value
Opt
toStream
(ostream &str) const=0
Opt
[pure virtual]
toXML
(ostream &str) const
Opt
Generated on Sat Jun 28 15:08:59 2003 for Vampire by
1.3.2