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

- c -

• C_i_ok() : ProofChecker
• cbegin() : SimplePath, Substitution
• cend() : Substitution
• check_proof() : ProofChecker
• check_proof_verbose() : ProofChecker
• choose() : ERWA, EXP3, UCB
• Clause() : Clause
• ClauseCopyCache() : ClauseCopyCache
• clear() : Clause, ClauseCopyCache, FOF, Lemmata, Literal, ProofPrinter, SimplePath, StackItem, Substitution, SubstitutionStack, TPTPParser
• clear_substitutions() : VariableIndex
• comma() : commas::comma
• complete_unification() : Unifier
• conjecture_present() : TPTPParser
• contains_variable() : Literal, Term, Variable
• convert_to_clauses() : FOF
• convert_to_cnf_clauses() : FOF
• convert_to_nnf() : FOF
• correct_missing_start_options() : params