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

- p -

• P : ProofChecker
• p : ProofPrinter, StackItem
• P_i_ok() : ProofChecker
• parse_tptp_from_file() : TPTPParser
• path : SimplePath, StackProver
• pip : TPTPParser
• pop() : SimplePath
• populate_stack_item() : StackProver
• positive_clauses : Matrix
• pred : FOF
• pred_index : FOF, StackProver
• Predicate() : Predicate
• PredicateIndex() : PredicateIndex
• preds : 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
• problem_path : StackProver
• process_axiom_forward() : StackProver
• proof : ProofChecker
• proof_count : StackProver
• proof_printer : StackProver
• ProofPrinter() : ProofPrinter
• prove() : StackProver
• push() : SimplePath
• push_all() : SubstitutionStack
• push_back() : Lemmata, Substitution
• push_negs() : FOF