Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
VampireKernel::Options Member List
This is the complete list of members for
VampireKernel::Options
, including all inherited members.
age_weight_ratio
VampireKernel::Options
allocation_buffer_price
VampireKernel::Options
allocation_buffer_size
VampireKernel::Options
backward_demodulation
VampireKernel::Options
backward_subsumption
VampireKernel::Options
bd_on_splitting_branches
VampireKernel::Options
bs_optimised_multiset_mode
VampireKernel::Options
bs_set_mode
VampireKernel::Options
dynamic_splitting
VampireKernel::Options
elim_def
VampireKernel::Options
fd_on_splitting_branches
VampireKernel::Options
first_mem_check
VampireKernel::Options
first_time_check
VampireKernel::Options
forward_demodulation
VampireKernel::Options
forward_subsumption
VampireKernel::Options
fs_old_style
VampireKernel::Options
fs_optimised_multiset_mode
VampireKernel::Options
fs_set_mode
VampireKernel::Options
fs_use_sig_filters
VampireKernel::Options
header_precedence_kinky
VampireKernel::Options
inherited_negative_selection
VampireKernel::Options
job_id
VampireKernel::Options
literal_comparison_mode
VampireKernel::Options
lrs
VampireKernel::Options
main_alg
VampireKernel::Options
max_active
VampireKernel::Options
max_inference_depth
VampireKernel::Options
max_passive
VampireKernel::Options
max_skolem
VampireKernel::Options
max_weight
VampireKernel::Options
memory_limit
VampireKernel::Options
no_inferences_between_rules
VampireKernel::Options
nongoal_penalty_coefficient
VampireKernel::Options
NonrecursiveKBOrdering
enum value
VampireKernel::Options
NonuniformConstantTermWeighting
enum value
VampireKernel::Options
normalize_by_commutativity
VampireKernel::Options
Options
()
VampireKernel::Options
[inline]
orphan_murder
VampireKernel::Options
output
(ostream &str)
VampireKernel::Options
paramodulation
VampireKernel::Options
proof
VampireKernel::Options
selected_pos_eq_penalty_coefficient
VampireKernel::Options
selection
VampireKernel::Options
setDefaultValues
()
VampireKernel::Options
show_active
VampireKernel::Options
show_gen
VampireKernel::Options
show_input
VampireKernel::Options
show_opt
VampireKernel::Options
show_passive
VampireKernel::Options
show_prepro
VampireKernel::Options
show_profile
VampireKernel::Options
show_weight_limit_changes
VampireKernel::Options
sim_back_sup
VampireKernel::Options
simplification_ordering
VampireKernel::Options
SimplificationOrdering
enum name
VampireKernel::Options
simplify_by_eq_res
VampireKernel::Options
simplify_by_fs
VampireKernel::Options
splitting_style
VampireKernel::Options
splitting_with_naming
VampireKernel::Options
StandardKBOrdering
enum value
VampireKernel::Options
static_neg_eq_splitting
VampireKernel::Options
static_splitting
VampireKernel::Options
std_output
VampireKernel::Options
symbol_precedence_by_arity
VampireKernel::Options
symbol_weight_by_arity
VampireKernel::Options
tabulation
VampireKernel::Options
term_weighting_scheme
VampireKernel::Options
TermWeightingScheme
enum name
VampireKernel::Options
UniformTermWeighting
enum value
VampireKernel::Options
~Options
()
VampireKernel::Options
[inline]
Generated on Sat Jun 28 15:09:00 2003 for Vampire by
1.3.2