StackProver Member List

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

action	StackProver	private
add_equality_axioms(Predicate *)	StackProver
axiom() const	StackProver	private
backtrack	StackProver	private
backtrack_once()	StackProver	private
cnf_only	StackProver	private
conjecture_false	StackProver	private
conjecture_missing	StackProver	private
conjecture_true	StackProver	private
current_depth	StackProver	private
current_depth_limit	StackProver	private
depth_limit_reached	StackProver	private
depth_limited()	StackProver	private
deterministic_reorder(uint32_t n)	StackProver	inline
end_time	StackProver	private
extend_with_action()	StackProver	private
extensions_tried	StackProver	privatestatic
fof_has_axioms	StackProver	private
fun_index	StackProver	private
get_indexes()	StackProver	inline
get_internal_proof() const	StackProver
get_matrix()	StackProver	inline
get_status() const	StackProver	inline
get_tptp_conversion_string() const (defined in StackProver)	StackProver	inline
go()	StackProver	private
left_extension_backtrack()	StackProver	private
lemmata	StackProver	private
lemmata_backtrack()	StackProver	private
lemmata_tried	StackProver	privatestatic
matrix	StackProver	private
negated_conjecture_removed	StackProver	private
new_C	StackProver	private
num_preds	StackProver	private
operator<< (defined in StackProver)	StackProver	friend
operator=(const StackProver &)=delete (defined in StackProver)	StackProver
operator=(const StackProver &&)=delete (defined in StackProver)	StackProver
output_interval	StackProver	private
path	StackProver	private
populate_stack_item()	StackProver	private
pred_index	StackProver	private
problem_has_false_conjecture() const	StackProver	inline
problem_has_fof_axioms() const	StackProver	inline
problem_has_missing_conjecture() const	StackProver	inline
problem_has_negated_conjecture_removed() const	StackProver	inline
problem_has_true_conjecture() const	StackProver	inline
problem_is_cnf_only() const	StackProver	inline
problem_path	StackProver	private
process_axiom_forward()	StackProver	private
proof_count	StackProver	private
proof_printer	StackProver	private
prove()	StackProver
random_reorder()	StackProver	inline
random_reorder_literals()	StackProver	inline
read_from_tptp_file(const string &, bool &, size_t &)	StackProver
reduction_backtrack()	StackProver	private
reductions_tried	StackProver	privatestatic
reset_for_start()	StackProver	inlineprivate
results	StackProver	private
right_branch_stack	StackProver	private
right_branches_started	StackProver	privatestatic
right_extension_backtrack()	StackProver	private
set_num_preds(size_t)	StackProver
set_problem_path(fs::path &p)	StackProver	inline
set_timeout(chrono::steady_clock::time_point time)	StackProver	inline
set_up_start_clauses()	StackProver	private
show	StackProver	private
show_full_statistics(size_t) const	StackProver
show_matrix()	StackProver	inline
show_matrix() const (defined in StackProver)	StackProver	inline
show_path() const (defined in StackProver)	StackProver	inline
show_right_stack() (defined in StackProver)	StackProver
show_stack() (defined in StackProver)	StackProver
show_statistics() const	StackProver
show_term_index() (defined in StackProver)	StackProver	inline
show_tptp_proof()	StackProver	inline
si	StackProver	private
simplified_fof_has_axioms	StackProver	private
simplified_problem_has_fof_axioms() const	StackProver	inline
stack	StackProver	private
StackProver()	StackProver
StackProver(const StackProver &)=delete	StackProver
StackProver(const StackProver &&)=delete (defined in StackProver)	StackProver
status	StackProver	private
sub_stack	StackProver	private
term_index	StackProver	private
tptp_conversion_string	StackProver	private
u	StackProver	private
use_timeout	StackProver	private
var_index	StackProver	private