interval-algebra-2.1.0: An implementation of Allen's interval algebra for temporal logic (Index - P)

interval-algebra-2.1.0: An implementation of Allen's interval algebra for temporal logic

A
B
C
D
E
F
G
I
L
M
N
O
P
R
S
T
U
W
.
<
>
All

Index - P

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
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