Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
VampireKernel::Options Class Reference
#include <
q.hpp
>
List of all members.
Public Types
enum
SimplificationOrdering
{
NonrecursiveKBOrdering
,
StandardKBOrdering
}
enum
TermWeightingScheme
{
UniformTermWeighting
,
NonuniformConstantTermWeighting
}
Public Member Functions
Options
()
~Options
()
void
setDefaultValues
()
ostream &
output
(ostream &str)
Public Attributes
const char *
job_id
long
main_alg
bool
no_inferences_between_rules
bool
static_splitting
bool
dynamic_splitting
long
splitting_style
bool
splitting_with_naming
long
static_neg_eq_splitting
bool
paramodulation
long
sim_back_sup
long
selection
long
literal_comparison_mode
bool
inherited_negative_selection
bool
forward_subsumption
bool
fs_set_mode
bool
fs_optimised_multiset_mode
bool
fs_use_sig_filters
bool
fs_old_style
long
simplify_by_fs
long
forward_demodulation
bool
fd_on_splitting_branches
bool
normalize_by_commutativity
long
backward_demodulation
bool
bd_on_splitting_branches
bool
simplify_by_eq_res
bool
backward_subsumption
bool
bs_set_mode
bool
bs_optimised_multiset_mode
long
orphan_murder
long
lrs
long
elim_def
SimplificationOrdering
simplification_ordering
long
symbol_precedence_by_arity
bool
header_precedence_kinky
TermWeightingScheme
term_weighting_scheme
long
symbol_weight_by_arity
long
memory_limit
long
allocation_buffer_size
double
allocation_buffer_price
long
max_skolem
long
max_active
long
max_passive
long
max_weight
long
max_inference_depth
long
age_weight_ratio
float
selected_pos_eq_penalty_coefficient
float
nongoal_penalty_coefficient
long
first_time_check
long
first_mem_check
bool
show_opt
bool
show_input
bool
show_prepro
bool
show_gen
bool
show_passive
bool
show_active
bool
proof
bool
show_profile
bool
show_weight_limit_changes
ofstream *
tabulation
ostream *
std_output
Member Enumeration Documentation
enum
VampireKernel::Options::SimplificationOrdering
Enumeration values:
NonrecursiveKBOrdering
StandardKBOrdering
enum
VampireKernel::Options::TermWeightingScheme
Enumeration values:
UniformTermWeighting
NonuniformConstantTermWeighting
Constructor & Destructor Documentation
VampireKernel::Options::Options
(
)
[inline]
VampireKernel::Options::~
Options
(
)
[inline]
Member Function Documentation
ostream& VampireKernel::Options::output
(
ostream &
str
)
void VampireKernel::Options::setDefaultValues
(
)
Member Data Documentation
long
VampireKernel::Options::age_weight_ratio
double
VampireKernel::Options::allocation_buffer_price
long
VampireKernel::Options::allocation_buffer_size
long
VampireKernel::Options::backward_demodulation
bool
VampireKernel::Options::backward_subsumption
bool
VampireKernel::Options::bd_on_splitting_branches
bool
VampireKernel::Options::bs_optimised_multiset_mode
bool
VampireKernel::Options::bs_set_mode
bool
VampireKernel::Options::dynamic_splitting
long
VampireKernel::Options::elim_def
bool
VampireKernel::Options::fd_on_splitting_branches
long
VampireKernel::Options::first_mem_check
long
VampireKernel::Options::first_time_check
long
VampireKernel::Options::forward_demodulation
bool
VampireKernel::Options::forward_subsumption
bool
VampireKernel::Options::fs_old_style
bool
VampireKernel::Options::fs_optimised_multiset_mode
bool
VampireKernel::Options::fs_set_mode
bool
VampireKernel::Options::fs_use_sig_filters
bool
VampireKernel::Options::header_precedence_kinky
bool
VampireKernel::Options::inherited_negative_selection
const char*
VampireKernel::Options::job_id
long
VampireKernel::Options::literal_comparison_mode
long
VampireKernel::Options::lrs
long
VampireKernel::Options::main_alg
long
VampireKernel::Options::max_active
long
VampireKernel::Options::max_inference_depth
long
VampireKernel::Options::max_passive
long
VampireKernel::Options::max_skolem
long
VampireKernel::Options::max_weight
long
VampireKernel::Options::memory_limit
bool
VampireKernel::Options::no_inferences_between_rules
float
VampireKernel::Options::nongoal_penalty_coefficient
bool
VampireKernel::Options::normalize_by_commutativity
long
VampireKernel::Options::orphan_murder
bool
VampireKernel::Options::paramodulation
bool
VampireKernel::Options::proof
float
VampireKernel::Options::selected_pos_eq_penalty_coefficient
long
VampireKernel::Options::selection
bool
VampireKernel::Options::show_active
bool
VampireKernel::Options::show_gen
bool
VampireKernel::Options::show_input
bool
VampireKernel::Options::show_opt
bool
VampireKernel::Options::show_passive
bool
VampireKernel::Options::show_prepro
bool
VampireKernel::Options::show_profile
bool
VampireKernel::Options::show_weight_limit_changes
long
VampireKernel::Options::sim_back_sup
SimplificationOrdering
VampireKernel::Options::simplification_ordering
bool
VampireKernel::Options::simplify_by_eq_res
long
VampireKernel::Options::simplify_by_fs
long
VampireKernel::Options::splitting_style
bool
VampireKernel::Options::splitting_with_naming
long
VampireKernel::Options::static_neg_eq_splitting
bool
VampireKernel::Options::static_splitting
ostream*
VampireKernel::Options::std_output
long
VampireKernel::Options::symbol_precedence_by_arity
long
VampireKernel::Options::symbol_weight_by_arity
ofstream*
VampireKernel::Options::tabulation
TermWeightingScheme
VampireKernel::Options::term_weighting_scheme
The documentation for this class was generated from the following file:
q.hpp
Generated on Sat Jun 28 15:09:00 2003 for Vampire by
1.3.2