params Member List

This is the complete list of members for params, including all inherited members.

add_equality_axioms (defined in params)	params	static
all_definitional (defined in params)	params	static
all_distinct_objects (defined in params)	params	static
all_pos_neg_start (defined in params)	params	static
all_start (defined in params)	params	static
boost_random_seed (defined in params)	params	static
build_proof (defined in params)	params	static
conjecture_start (defined in params)	params	static
connectpp_path (defined in params)	params	static
correct_missing_start_options()	params	static
default_schedule (defined in params)	params	static
definitional_predicate_prefix (defined in params)	params	static
depth_increment (defined in params)	params	static
depth_limit (defined in params)	params	static
depth_limit_all (defined in params)	params	static
deterministic_reorder (defined in params)	params	static
equality_axioms_at_start (defined in params)	params	static
first_parse (defined in params)	params	static
full_problem_path (defined in params)	params	static
generate_LaTeX_proof (defined in params)	params	static
generate_Prolog_proof (defined in params)	params	static
generate_tptp_proof (defined in params)	params	static
indent_size (defined in params)	params	static
latex_include_matrix (defined in params)	params	static
LaTeX_proof_path (defined in params)	params	static
latex_tiny_proof (defined in params)	params	static
latex_truncation_length (defined in params)	params	static
limit_bt_all (defined in params)	params	static
limit_bt_extensions (defined in params)	params	static
limit_bt_extensions_left_tree (defined in params)	params	static
limit_bt_lemmas (defined in params)	params	static
limit_bt_reductions (defined in params)	params	static
limit_by_tree_depth (defined in params)	params	static
limit_extensions (defined in params)	params	static
limit_lemmata (defined in params)	params	static
limit_reductions (defined in params)	params	static
miniscope (defined in params)	params	static
no_definitional (defined in params)	params	static
no_distinct_objects (defined in params)	params	static
no_start_options()	params	static
number_of_reorders (defined in params)	params	static
output_frequency (defined in params)	params	static
output_summary_path (defined in params)	params	static
output_terms_with_substitution (defined in params)	params	static
output_width (defined in params)	params	static
poly_unification (defined in params)	params	static
positive_representation (defined in params)	params	static
problem_name (defined in params)	params	static
Prolog_matrix_path (defined in params)	params	static
Prolog_proof_path (defined in params)	params	static
pwd_path (defined in params)	params	static
random_reorder (defined in params)	params	static
random_reorder_literals (defined in params)	params	static
random_seed (defined in params)	params	static
restrict_start (defined in params)	params	static
schedule_path (defined in params)	params	static
search_is_complete()	params	static
set_all_backtrack()	params	static
set_all_start()	params	static
set_complete_parameters()	params	static
set_default_schedule() (defined in params)	params	static
set_default_schedule_parameters()	params	static
show_clauses (defined in params)	params	static
show_full_stats (defined in params)	params	static
show_search_parameter_settings()	params	static
start_depth (defined in params)	params	static
sub_LaTeX_proof (defined in params)	params	static
switch_to_complete (defined in params)	params	static
timeout (defined in params)	params	static
timeout_value (defined in params)	params	static
tptp_path (defined in params)	params	static
unique_skolem_prefix (defined in params)	params	static
unique_var_prefix (defined in params)	params	static
use_colours (defined in params)	params	static
use_lemmata (defined in params)	params	static
use_regularity_test (defined in params)	params	static
use_schedule (defined in params)	params	static
verbosity (defined in params)	params	static
verify_proof (defined in params)	params	static
verify_proof_verbose (defined in params)	params	static
write_output_summary (defined in params)	params	static