interval-algebra-2.0.2: An implementation of Allen's interval algebra for temporal logic
Contents
Index
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
prop_concur_predicate
IntervalAlgebra.RelationProperties
prop_disjoint_predicate
IntervalAlgebra.RelationProperties
prop_enclosedBy_predicate
IntervalAlgebra.RelationProperties
prop_enclose_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