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

- n -

• negate() : FOF
• negated_conjecture_present() : TPTPParser
• next_extension() : StackItem
• next_reduction() : StackItem
• nl() : verbose_print::VPrint
• no_conjecture_clause() : TPTPParser
• no_more_inferences() : StackItem
• no_start_options() : params
• number_of_fof_formulas() : TPTPParser