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.
_changedOpt [protected]
_nameOpt [protected]
_shortOpt [protected]
_tagOpt [protected]
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]
ORPHAN_MURDER enum valueOpt
output(ostream &str) constOpt
OUTPUT_EQUALITY_INFIX enum valueOpt
OUTPUT_SYNTAX enum valueOpt
PARAMODULATION enum valueOpt
PROOF enum valueOpt
quotes() const=0Opt [pure virtual]
RANDOM_SEED enum valueOpt
REMOVE_UNUSED_DEF enum valueOpt
SELECTED_EQUALITY_WEIGHT_COEFFICIENT enum valueOpt
SELECTION enum valueOpt
set(const char *val)=0Opt [pure 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) const=0Opt [pure virtual]
toXML(ostream &str) constOpt

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