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

- h -

• has_clause : TPTPRecord
• has_complementary_literals() : Clause
• has_formula : TPTPRecord
• has_free_variable() : FOF
• has_path : TPTPRecord
• highest_anon_variable : VariableIndex