Index - P
| P | SMType |
| Pair | |
| 1 (Type/Class) | Containers.Pair, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| 2 (Data Constructor) | Containers.Pair, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| parseFromFile | ParsingHelpers, GrammarReader |
| Parser | ParsingHelpers |
| parser | |
| 1 (Function) | GrammarReader |
| 2 (Function) | TmsParser |
| parseTms | TmsParser |
| partition | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| partitionWithKey | Containers.Map |
| PCommand | TMType |
| plus | Boolean2TMConstants |
| PosConj | GrammarType |
| Positive | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| powerSet | Containers.Set |
| Predicate | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| PreSMCommand | TMType |
| printSmb | Helpers |
| PrismMap | Containers.PrismMap, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| pTms | TmsParser |