| P | Termlib.Problem.XmlParser |
| padToHeight | Termlib.Utils |
| padToLength | Termlib.Utils |
| paragraph | Termlib.Utils |
| parens | Termlib.Term.Parser |
| Parsable | Termlib.Utils |
| parse | Termlib.Utils |
| ParsecParseError | Termlib.Problem.ParseErrors |
| ParseError | Termlib.Problem.ParseErrors |
| parseFromString | |
| 1 (Function) | Termlib.Utils |
| 2 (Function) | Termlib.Term.Parser |
| 3 (Function) | Termlib.Repl |
| parseOne | Termlib.Problem.XmlParser |
| parseProblem | |
| 1 (Function) | Termlib.Problem.XmlParser |
| 2 (Function) | Termlib.Problem.TpdbParser |
| Parser | Termlib.Problem.XmlParser |
| parseRule | Termlib.Problem.XmlParser |
| parseRules | Termlib.Problem.XmlParser |
| parseSignature | Termlib.Problem.XmlParser |
| parseStartTerms | Termlib.Problem.XmlParser |
| parseStrategy | Termlib.Problem.XmlParser |
| parseTerm | Termlib.Problem.XmlParser |
| ParseWarning | Termlib.Problem.ParseErrors |
| PartiallySupportedStartTerms | Termlib.Problem.ParseErrors |
| PartiallySupportedStrategy | Termlib.Problem.ParseErrors |
| Position | Termlib.TermGraph |
| pprint | Termlib.Utils |
| pprintChar | Termlib.Utils |
| pprintComponents | Termlib.Problem |
| pprintInt | Termlib.Utils |
| pprintNamedTrs | Termlib.Trs.PrettyPrint |
| pprintTrs | Termlib.Trs.PrettyPrint |
| PPTree | |
| 1 (Type/Class) | Termlib.Utils |
| 2 (Data Constructor) | Termlib.Utils |
| pptRoots | Termlib.Utils |
| pptSuc | Termlib.Utils |
| Precedence | |
| 1 (Type/Class) | Termlib.Precedence |
| 2 (Data Constructor) | Termlib.Precedence |
| precedence | Termlib.Precedence |
| prepend | Termlib.TermGraph |
| PrettyPrintable | Termlib.Utils |
| printTree | Termlib.Utils |
| Problem | |
| 1 (Type/Class) | Termlib.Problem, Termlib.Repl |
| 2 (Data Constructor) | Termlib.Problem, Termlib.Repl |
| problemFromFile | Termlib.Problem.Parser |
| problemFromString | |
| 1 (Function) | Termlib.Problem.XmlParser |
| 2 (Function) | Termlib.Problem.TpdbParser |
| 3 (Function) | Termlib.Problem.Parser |
| ProblemNotFoundError | Termlib.Problem.ParseErrors |
| Projection | Termlib.ArgumentFiltering |
| properNonVariableSubterms | Termlib.Term |
| properSubterms | Termlib.Term, Termlib.Repl |