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

- f -

• file_contents : TPTPParser
• find() : TermIndex
• find_all_extensions() : Matrix
• find_all_lemmata() : Lemmata
• find_all_reductions() : SimplePath
• find_and() : FOF
• find_definitional_tuple() : FOF
• find_extensions() : Matrix
• find_free_variables() : FOF
• find_function() : FunctionIndex
• find_initial_lemmata() : Lemmata
• find_limited_extensions() : Matrix
• find_limited_reductions() : SimplePath
• find_max() : ERWA
• find_maximum_arity() : FunctionIndex, PredicateIndex
• find_minimum_arity() : FunctionIndex
• find_or() : FOF
• find_predicate() : PredicateIndex
• find_reductions() : SimplePath
• find_start() : Matrix
• find_subbed_vars() : Term
• find_variable() : VariableIndex
• fip : TPTPParser
• first_anon_variable : VariableIndex
• FOF() : FOF
• fof_conjecture_is_false() : TPTPParser
• fof_conjecture_is_missing() : TPTPParser
• fof_conjecture_is_true() : TPTPParser
• fof_has_axioms : StackProver, TPTPParser
• fof_negated_conjecture_removed() : TPTPParser
• fof_type() : FOF
• fun_index : FOF, StackProver
• Function() : Function
• FunctionIndex() : FunctionIndex
• funs : FunctionIndex