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

- r -

• 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
• reduction_backtrack() : 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() : VariableIndex
• reset_for_start() : StackProver
• reset_schedule() : schedule::Schedule
• restrict_backtrack() : StackItem
• reward() : ERWA, EXP3, UCB
• right_extension_backtrack() : StackProver