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

- c -

• c : Clause
• C : ProofChecker
• c : StackItem
• C_2 : InferenceItem
• C_i_ok() : ProofChecker
• cache : ClauseCopyCache
• cbegin() : SimplePath, Substitution
• cend() : Substitution
• check_proof() : ProofChecker
• check_proof_verbose() : ProofChecker
• choice : ERWA, EXP3, UCB
• choose() : ERWA, EXP3, UCB
• choose_next : ERWA, EXP3, UCB
• Clause() : Clause
• clause_roles : Matrix
• ClauseCopyCache() : ClauseCopyCache
• clauses : Matrix
• clauses_copy : Matrix
• clear() : Clause, ClauseCopyCache, FOF, Lemmata, Literal, ProofPrinter, SimplePath, StackItem, Substitution, SubstitutionStack, TPTPParser
• clear_substitutions() : VariableIndex
• cnf_only : StackProver
• comma() : commas::comma
• comment_blocks : TPTPParser
• complete_unification() : Unifier
• conjecture_false : StackProver
• conjecture_missing : StackProver
• conjecture_present() : TPTPParser
• conjecture_true : StackProver
• contains_variable() : Literal, Term, Variable
• convert_to_clauses() : FOF
• convert_to_cnf_clauses() : FOF
• convert_to_nnf() : FOF
• copy_saved : Matrix
• correct_missing_start_options() : params
• current_copy_number : ClauseCopyCache
• current_depth : StackProver
• current_depth_limit : StackProver