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

Index

.+.IntervalAlgebra.Core, IntervalAlgebra
<+>IntervalAlgebra.Core, IntervalAlgebra
<|>IntervalAlgebra.Core, IntervalAlgebra
><IntervalAlgebra.Core, IntervalAlgebra
addIntervalAlgebra.Core, IntervalAlgebra
AfterIntervalAlgebra.Core, IntervalAlgebra
afterIntervalAlgebra.Core, IntervalAlgebra
arbitraryWithRelationIntervalAlgebra.Arbitrary
BeforeIntervalAlgebra.Core, IntervalAlgebra
beforeIntervalAlgebra.Core, IntervalAlgebra
beginIntervalAlgebra.Core, IntervalAlgebra
beginervalIntervalAlgebra.Core, IntervalAlgebra
beginervalFromEndIntervalAlgebra.Core, IntervalAlgebra
beginervalMomentIntervalAlgebra.Core, IntervalAlgebra
clipIntervalAlgebra.IntervalUtilities, IntervalAlgebra
combineIntervalsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
combineIntervalsLIntervalAlgebra.IntervalUtilities, IntervalAlgebra
ComparativePredicateOf1IntervalAlgebra.Core, IntervalAlgebra
ComparativePredicateOf2IntervalAlgebra.Core, IntervalAlgebra
complementIntervalAlgebra.Core, IntervalAlgebra
composeIntervalAlgebra.Core, IntervalAlgebra
concurIntervalAlgebra.Core, IntervalAlgebra
ContainsIntervalAlgebra.Core, IntervalAlgebra
containsIntervalAlgebra.Core, IntervalAlgebra
converseIntervalAlgebra.Core, IntervalAlgebra
diffIntervalAlgebra.Core, IntervalAlgebra
diffFromBeginIntervalAlgebra.Core, IntervalAlgebra
diffFromEndIntervalAlgebra.Core, IntervalAlgebra
disjointIntervalAlgebra.Core, IntervalAlgebra
disjointRelationsIntervalAlgebra.Core, IntervalAlgebra
durationIntervalAlgebra.Core, IntervalAlgebra
durationsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
DuringIntervalAlgebra.Core, IntervalAlgebra
duringIntervalAlgebra.Core, IntervalAlgebra
Empty 
1 (Type/Class)IntervalAlgebra.PairedInterval, IntervalAlgebra
2 (Data Constructor)IntervalAlgebra.PairedInterval, IntervalAlgebra
encloseIntervalAlgebra.Core, IntervalAlgebra
enclosedByIntervalAlgebra.Core, IntervalAlgebra
endIntervalAlgebra.Core, IntervalAlgebra
endervalIntervalAlgebra.Core, IntervalAlgebra
endervalFromBeginIntervalAlgebra.Core, IntervalAlgebra
endervalMomentIntervalAlgebra.Core, IntervalAlgebra
equalPairDataIntervalAlgebra.PairedInterval, IntervalAlgebra
EqualsIntervalAlgebra.Core, IntervalAlgebra
equalsIntervalAlgebra.Core, IntervalAlgebra
expandIntervalAlgebra.Core, IntervalAlgebra
expandlIntervalAlgebra.Core, IntervalAlgebra
expandrIntervalAlgebra.Core, IntervalAlgebra
extentervalIntervalAlgebra.Core, IntervalAlgebra
filterAfterIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterBeforeIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterConcurIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterContainsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterDisjointIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterDuringIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterEncloseIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterEnclosedByIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterEqualsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterFinishedByIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterFinishesIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterMeetsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterMetByIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterNotDisjointIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterOverlappedByIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterOverlapsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterStartedByIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterStartsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterWithinIntervalAlgebra.IntervalUtilities, IntervalAlgebra
FinishedByIntervalAlgebra.Core, IntervalAlgebra
finishedByIntervalAlgebra.Core, IntervalAlgebra
FinishesIntervalAlgebra.Core, IntervalAlgebra
finishesIntervalAlgebra.Core, IntervalAlgebra
foldMeetingSafeIntervalAlgebra.IntervalUtilities, IntervalAlgebra
formMeetingSequenceIntervalAlgebra.IntervalUtilities, IntervalAlgebra
gapsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
gapsLIntervalAlgebra.IntervalUtilities, IntervalAlgebra
gapsWithinIntervalAlgebra.IntervalUtilities, IntervalAlgebra
getIntervalIntervalAlgebra.Core, IntervalAlgebra
getPairDataIntervalAlgebra.PairedInterval, IntervalAlgebra
intersectIntervalAlgebra.IntervalUtilities, IntervalAlgebra
intersectionIntervalAlgebra.Core, IntervalAlgebra
IntervalIntervalAlgebra.Core, IntervalAlgebra
IntervalAxiomsIntervalAlgebra.Axioms
IntervalCombinableIntervalAlgebra.Core, IntervalAlgebra
IntervallicIntervalAlgebra.Core, IntervalAlgebra
IntervalRelationIntervalAlgebra.Core, IntervalAlgebra
IntervalRelationPropertiesIntervalAlgebra.RelationProperties
intervalRelationsIntervalAlgebra.Core, IntervalAlgebra
intervalsIntervalAlgebra.PairedInterval, IntervalAlgebra
IntervalSizeableIntervalAlgebra.Core, IntervalAlgebra
m11IntervalAlgebra.Axioms
m12IntervalAlgebra.Axioms
m13IntervalAlgebra.Axioms
m14IntervalAlgebra.Axioms
M1set 
1 (Type/Class)IntervalAlgebra.Axioms
2 (Data Constructor)IntervalAlgebra.Axioms
m1setIntervalAlgebra.Axioms
m21IntervalAlgebra.Axioms
m22IntervalAlgebra.Axioms
m23IntervalAlgebra.Axioms
m24IntervalAlgebra.Axioms
M2set 
1 (Type/Class)IntervalAlgebra.Axioms
2 (Data Constructor)IntervalAlgebra.Axioms
m2setIntervalAlgebra.Axioms
m51IntervalAlgebra.Axioms
m52IntervalAlgebra.Axioms
M5set 
1 (Type/Class)IntervalAlgebra.Axioms
2 (Data Constructor)IntervalAlgebra.Axioms
m5setIntervalAlgebra.Axioms
makePairedIntervalIntervalAlgebra.PairedInterval, IntervalAlgebra
MeetsIntervalAlgebra.Core, IntervalAlgebra
meetsIntervalAlgebra.Core, IntervalAlgebra
MetByIntervalAlgebra.Core, IntervalAlgebra
metByIntervalAlgebra.Core, IntervalAlgebra
momentIntervalAlgebra.Core, IntervalAlgebra
moment'IntervalAlgebra.Core, IntervalAlgebra
momentizeIntervalAlgebra.Core, IntervalAlgebra
notDisjointIntervalAlgebra.Core, IntervalAlgebra
nothingIfIntervalAlgebra.IntervalUtilities, IntervalAlgebra
nothingIfAllIntervalAlgebra.IntervalUtilities, IntervalAlgebra
nothingIfAnyIntervalAlgebra.IntervalUtilities, IntervalAlgebra
nothingIfNoneIntervalAlgebra.IntervalUtilities, IntervalAlgebra
OverlappedByIntervalAlgebra.Core, IntervalAlgebra
overlappedByIntervalAlgebra.Core, IntervalAlgebra
OverlapsIntervalAlgebra.Core, IntervalAlgebra
overlapsIntervalAlgebra.Core, IntervalAlgebra
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
relateIntervalAlgebra.Core, IntervalAlgebra
relationsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
relationsLIntervalAlgebra.IntervalUtilities, IntervalAlgebra
setIntervalIntervalAlgebra.Core, IntervalAlgebra
StartedByIntervalAlgebra.Core, IntervalAlgebra
startedByIntervalAlgebra.Core, IntervalAlgebra
StartsIntervalAlgebra.Core, IntervalAlgebra
startsIntervalAlgebra.Core, IntervalAlgebra
strictWithinRelationsIntervalAlgebra.Core, IntervalAlgebra
toTrivialPairIntervalAlgebra.PairedInterval, IntervalAlgebra
trivializeIntervalAlgebra.PairedInterval, IntervalAlgebra
unionIntervalAlgebra.Core, IntervalAlgebra
unionPredicatesIntervalAlgebra.Core, IntervalAlgebra
withinIntervalAlgebra.Core, IntervalAlgebra
withinRelationsIntervalAlgebra.Core, IntervalAlgebra