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

- r -

• r_stack : ProofChecker
• random_reorder() : Clause, Matrix, StackProver
• random_reorder_literals() : Matrix, StackProver
• read_from_tptp_file() : StackProver
• read_schedule_from_file() : schedule::Schedule
• read_tptp_from_file() : TPTPParser
• rebuild_index() : Matrix
• reduction_backtrack() : StackProver
• reduction_backtrack_restricted : StackItem
• reduction_current_path_index : StackItem
• reduction_no_more_results : StackItem
• reductions_tried : StackProver
• remove_duplicates() : Clause
• remove_existential_quantifiers() : FOF
• remove_iff() : FOF
• remove_imp() : FOF
• remove_negation() : FOF
• remove_redundant_quantifiers() : FOF
• remove_substitution() : Variable
• remove_universal_quantifiers() : FOF
• replace_variable() : FOF, Literal
• replace_variable_in_term() : TermIndex
• replace_variable_in_term_with_term() : TermIndex
• replace_variable_with_term() : FOF, Literal
• reset() : ClauseCopyCache, VariableIndex
• reset_for_start() : StackProver
• reset_schedule() : schedule::Schedule
• restrict_backtrack() : StackItem
• results : StackProver
• reverse() : Clause
• right_branch_stack : StackProver
• right_branches_started : StackProver
• right_extension_backtrack() : StackProver
• roles_copy : Matrix