| PaddingWithNoAxis | IntervalAlgebra.IntervalDiagram |
| PairedInterval | IntervalAlgebra.PairedInterval, IntervalAlgebra |
| pairGaps | IntervalAlgebra.IntervalUtilities, IntervalAlgebra |
| ParseErrorInterval | |
| 1 (Type/Class) | IntervalAlgebra.Core, IntervalAlgebra |
| 2 (Data Constructor) | IntervalAlgebra.Core, IntervalAlgebra |
| parseInterval | IntervalAlgebra.Core, IntervalAlgebra |
| parseIntervalDiagram | IntervalAlgebra.IntervalDiagram |
| Point | IntervalAlgebra.Core, IntervalAlgebra, IntervalAlgebra |
| PointedIv | IntervalAlgebra.Core, IntervalAlgebra |
| precededBy | IntervalAlgebra.Core, IntervalAlgebra |
| precedes | IntervalAlgebra.Core, IntervalAlgebra |
| predicate | IntervalAlgebra.Core, IntervalAlgebra |
| Pretty | IntervalAlgebra.IntervalDiagram |
| pretty | IntervalAlgebra.IntervalDiagram |
| prettyList | IntervalAlgebra.IntervalDiagram |
| prop_concur_predicate | IntervalAlgebra.RelationProperties |
| prop_disjoint_predicate | IntervalAlgebra.RelationProperties |
| prop_enclosedBy_predicate | IntervalAlgebra.RelationProperties |
| prop_encloses_predicate | IntervalAlgebra.RelationProperties |
| prop_exclusiveRelations | IntervalAlgebra.RelationProperties |
| prop_IAaxiomM1 | IntervalAlgebra.Axioms |
| prop_IAaxiomM2 | IntervalAlgebra.Axioms |
| prop_IAaxiomM3 | IntervalAlgebra.Axioms |
| prop_IAaxiomM4 | IntervalAlgebra.Axioms |
| prop_IAaxiomM4_1 | IntervalAlgebra.Axioms |
| prop_IAaxiomM5 | IntervalAlgebra.Axioms |
| prop_IAaxiomML1 | IntervalAlgebra.Axioms |
| prop_IAaxiomML2 | IntervalAlgebra.Axioms |
| prop_IAbefore | IntervalAlgebra.RelationProperties |
| prop_IAduring | IntervalAlgebra.RelationProperties |
| prop_IAfinishes | IntervalAlgebra.RelationProperties |
| prop_IAoverlaps | IntervalAlgebra.RelationProperties |
| prop_IAstarts | IntervalAlgebra.RelationProperties |
| prop_notdisjoint_predicate | IntervalAlgebra.RelationProperties |
| prop_predicate_unions | IntervalAlgebra.RelationProperties |
| prop_within_predicate | IntervalAlgebra.RelationProperties |
| prsi | IntervalAlgebra.Core, IntervalAlgebra |