Index - P
| PAnd | Propositions |
| parenIf | Util |
| parent | Tree |
| PC | Main |
| pc | FeatureTrace |
| pc_parentpart | FeatureTrace |
| PFalse | Propositions |
| PNot | Propositions |
| POr | Propositions |
| prettybinarytable | Truthtable |
| prettyPrint | |
| 1 (Function) | NullPropositions |
| 2 (Function) | Tree |
| 3 (Function) | FeatureTrace |
| 4 (Function) | ASTPrettyPrinter |
| prettyunarytable | Truthtable |
| printASTWithTrace | Main |
| printTraces | Main |
| PropositionalFormula | Propositions |
| propositional_values | Main |
| PTrue | Propositions |
| PVariable | Propositions |