Here is a list of all documented class members with links to the class documentation for each member:

- s -

• s : Unifier
• schedule : schedule::Schedule
• Schedule() : schedule::Schedule
• schedule_step_number : schedule::Schedule
• search_is_complete() : params
• set_all_backtrack() : params
• set_all_names_added() : VariableIndex
• set_all_start() : params
• set_alpha() : ERWA
• set_bt_restriction_index() : StackItem
• set_complete_parameters() : params
• set_default_schedule_parameters() : params
• set_epsilon() : ERWA
• set_gamma() : EXP3
• set_indexes() : FOF
• set_next_schedule() : schedule::Schedule
• set_num_equals() : Matrix
• set_num_preds() : Matrix, SimplePath, StackProver
• set_problem_path() : StackProver
• set_proof() : ProofPrinter
• set_size() : ClauseCopyCache
• set_this_action() : StackItem
• set_timeout() : StackProver
• set_up_start_clauses() : StackProver
• show : StackProver
• show_file_includes() : TPTPParser
• show_full_statistics() : StackProver
• show_indexes() : FOF
• show_matrix() : StackProver
• show_path_only() : SimplePath
• show_Prolog() : ProofPrinter
• show_search_parameter_settings() : params
• show_statistics() : StackProver
• show_tptp() : Matrix, ProofPrinter
• show_tptp_proof() : StackProver
• si : StackProver
• sigma : InferenceItem
• simple_negate() : FOF
• SimplePath() : SimplePath
• simplified_fof_has_axioms : StackProver, TPTPParser
• simplified_problem_has_fof_axioms() : StackProver
• simplify() : Clause
• simplify_cnf() : FOF
• size() : Clause, ClauseCopyCache, Substitution
• skip_leading_variables() : Term, Variable
• skip_leading_variables_for_unification() : Term
• skolem_function_number : FunctionIndex
• skolemize() : FOF
• skolemize_main() : FOF
• skolemize_universals() : FOF
• skolemize_universals_main() : FOF
• sort_clauses() : Matrix
• sort_clauses_by_increasing_size() : Matrix
• split_sub_formulas() : FOF
• stack : ClauseCopyCache, StackProver, SubstitutionStack
• stack_item_setup() : StackItem
• StackProver() : StackProver
• state_to_string() : ProofChecker
• status : StackProver
• step_to_string() : schedule::Schedule
• sub : StackItem, Substitution
• sub_formulas : FOF
• sub_stack : StackProver
• subbed_equal() : Literal, Term
• subbed_is_function() : Term, Variable
• subbed_is_variable() : Term, Variable
• subbed_variable() : Term, Variable
• substitute() : Variable
• Substitution() : Substitution
• SubstitutionStack() : SubstitutionStack