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

Option< C > Member List

This is the complete list of members for Option< C >, including all inherited members.
_changedOpt [protected]
_defaultOption< C > [private]
_nameOpt [protected]
_shortOpt [protected]
_tagOpt [protected]
_valueOption< C > [private]
AGE_WEIGHT_RATIO enum valueOpt
ALLOCATION_BUFFER_PRICE enum valueOpt
ALLOCATION_BUFFER_SIZE enum valueOpt
ARITY_CHECK enum valueOpt
BACKWARD_DEMODULATION enum valueOpt
BACKWARD_SUBSUMPTION enum valueOpt
BD_ON_SPLITTING_BRANCHES enum valueOpt
changed() constOpt [inline]
ELIM_DEF enum valueOpt
FD_ON_SPLITTING_BRANCHES enum valueOpt
FORWARD_DEMODULATION enum valueOpt
FORWARD_SUBSUMPTION enum valueOpt
FORWARD_SUBSUMPTION_RESOLUTION enum valueOpt
HEADER_PRECEDENCE_KINKY enum valueOpt
INCLUDE enum valueOpt
INEQUALITY_SPLITTING enum valueOpt
INHERITED_NEGATIVE_SELECTION enum valueOpt
INPUT_FILE enum valueOpt
INPUT_SYNTAX enum valueOpt
LITERAL_COMPARISON_MODE enum valueOpt
LRS_FIRST_MEMORY_CHECK enum valueOpt
LRS_FIRST_TIME_CHECK enum valueOpt
MAIN_ALG enum valueOpt
MAX_ACTIVE enum valueOpt
MAX_INFERENCE_DEPTH enum valueOpt
MAX_PASSIVE enum valueOpt
MAX_SKOLEM enum valueOpt
MAX_WEIGHT enum valueOpt
MEMORY_LIMIT enum valueOpt
MINISCOPE enum valueOpt
MODE enum valueOpt
name() constOpt [inline]
NO_FREE_VARS enum valueOpt
NO_INFERENCES_BETWEEN_RULES enum valueOpt
NONGOAL_WEIGHT_COEFFICIENT enum valueOpt
Opt(Tag t, const char *nm, const char *srt)Opt [inline]
Option(Opt::Tag t, const C dfl, const char *name, const char *srt=0)Option< C > [inline]
ORPHAN_MURDER enum valueOpt
output(ostream &str) constOpt
OUTPUT_EQUALITY_INFIX enum valueOpt
OUTPUT_SYNTAX enum valueOpt
PARAMODULATION enum valueOpt
PROOF enum valueOpt
quotes() constOption< C > [virtual]
RANDOM_SEED enum valueOpt
REMOVE_UNUSED_DEF enum valueOpt
SELECTED_EQUALITY_WEIGHT_COEFFICIENT enum valueOpt
SELECTION enum valueOpt
set(const char *val)Option< C > [virtual]
SHOW_ACTIVE enum valueOpt
SHOW_GEN enum valueOpt
SHOW_INPUT enum valueOpt
SHOW_OPTIONS enum valueOpt
SHOW_PASSIVE enum valueOpt
SHOW_PREPRO enum valueOpt
SHOW_PROFILE enum valueOpt
SHOW_WEIGHT_LIMIT_CHANGES enum valueOpt
SILENT enum valueOpt
SIMPLIFICATION_ORDERING enum valueOpt
SOS enum valueOpt
SPLITTING enum valueOpt
SPLITTING_STYLE enum valueOpt
SPLITTING_WITH_NAMING enum valueOpt
STATISTICS enum valueOpt
SYMBOL_PRECEDENCE enum valueOpt
SYMBOL_WEIGHT_BY_ARITY enum valueOpt
TAB enum valueOpt
tabulate(ostream &str) constOpt
Tag enum nameOpt
TERM_WEIGHTING_SCHEME enum valueOpt
TEST_ID enum valueOpt
TEST_NUMBER enum valueOpt
TIME_LIMIT enum valueOpt
toStream(ostream &str) constOption< C > [virtual]
toXML(ostream &str) constOpt
value() constOption< C > [inline]
value(C newVal)Option< C > [inline]

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