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

- p -

• P_i_ok() : ProofChecker
• parse_tptp_from_file() : TPTPParser
• pop() : SimplePath
• populate_stack_item() : StackProver
• Predicate() : Predicate
• PredicateIndex() : PredicateIndex
• problem_has_false_conjecture() : StackProver
• problem_has_fof_axioms() : StackProver
• problem_has_missing_conjecture() : StackProver
• problem_has_negated_conjecture_removed() : StackProver
• problem_has_true_conjecture() : StackProver
• problem_is_cnf_only() : StackProver, TPTPParser
• process_axiom_forward() : StackProver
• ProofPrinter() : ProofPrinter
• prove() : StackProver
• push() : SimplePath
• push_all() : SubstitutionStack
• push_back() : Lemmata, Substitution
• push_negs() : FOF