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

- n -

• name_index : FunctionIndex, PredicateIndex, VariableIndex
• negate() : FOF
• negated_conjecture_present() : TPTPParser
• negated_conjecture_removed : StackProver
• negative_clauses : Matrix
• new_C : StackProver
• next_definitional_id : PredicateIndex
• next_index : FunctionIndex, PredicateIndex, SubstitutionStack, VariableIndex
• next_unique_index : VariableIndex
• nl() : verbose_print::VPrint
• no_conjecture_clause() : TPTPParser
• no_start_options() : params
• num_equals : Matrix
• num_preds : StackProver
• num_subs : ProofChecker
• number_of_fof_formulas() : TPTPParser