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

- a -

• action : StackProver
• actions : StackItem
• add_anon_var() : VariableIndex
• add_backtrack_point() : VariableIndex
• add_clause() : Matrix
• add_equality_axioms() : StackProver
• add_formula() : FOF
• add_function() : FunctionIndex
• add_function_term() : TermIndex
• add_lit() : Clause
• add_named_backtrack_point() : VariableIndex
• add_named_var() : VariableIndex
• add_predicate() : PredicateIndex
• add_unique_var() : VariableIndex
• add_variable_term() : TermIndex
• all_names_added : VariableIndex
• all_variables() : Term
• apply() : Substitution
• apply_item() : schedule::Schedule
• arity() : Term
• axiom() : StackProver