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:
Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2