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

Index - P

PairedIntervalIntervalAlgebra.PairedInterval, IntervalAlgebra
ParseErrorInterval 
1 (Type/Class)IntervalAlgebra.Core, IntervalAlgebra
2 (Data Constructor)IntervalAlgebra.Core, IntervalAlgebra
parseIntervalIntervalAlgebra.Core, IntervalAlgebra
precededByIntervalAlgebra.Core, IntervalAlgebra
precedesIntervalAlgebra.Core, IntervalAlgebra
predicateIntervalAlgebra.Core, IntervalAlgebra
prop_concur_predicateIntervalAlgebra.RelationProperties
prop_disjoint_predicateIntervalAlgebra.RelationProperties
prop_enclosedBy_predicateIntervalAlgebra.RelationProperties
prop_enclose_predicateIntervalAlgebra.RelationProperties
prop_exclusiveRelationsIntervalAlgebra.RelationProperties
prop_IAaxiomM1IntervalAlgebra.Axioms
prop_IAaxiomM2IntervalAlgebra.Axioms
prop_IAaxiomM3IntervalAlgebra.Axioms
prop_IAaxiomM4IntervalAlgebra.Axioms
prop_IAaxiomM4_1IntervalAlgebra.Axioms
prop_IAaxiomM5IntervalAlgebra.Axioms
prop_IAaxiomML1IntervalAlgebra.Axioms
prop_IAaxiomML2IntervalAlgebra.Axioms
prop_IAbeforeIntervalAlgebra.RelationProperties
prop_IAduringIntervalAlgebra.RelationProperties
prop_IAfinishesIntervalAlgebra.RelationProperties
prop_IAoverlapsIntervalAlgebra.RelationProperties
prop_IAstartsIntervalAlgebra.RelationProperties
prop_notdisjoint_predicateIntervalAlgebra.RelationProperties
prop_predicate_unionsIntervalAlgebra.RelationProperties
prop_within_predicateIntervalAlgebra.RelationProperties