interval-algebra-2.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
allGapsWithinLessThanDurationIntervalAlgebra.IntervalUtilities, IntervalAlgebra
anyGapsWithinAtLeastDurationIntervalAlgebra.IntervalUtilities, IntervalAlgebra
arbitraryWithRelationIntervalAlgebra.Arbitrary
AxisErrorIntervalAlgebra.IntervalDiagram
AxisParseErrorIntervalAlgebra.IntervalDiagram
AxisPlacementIntervalAlgebra.IntervalDiagram
AxisWiderThanAvailableIntervalAlgebra.IntervalDiagram
BeforeIntervalAlgebra.Core, IntervalAlgebra
beforeIntervalAlgebra.Core, IntervalAlgebra
beginIntervalAlgebra.Core, IntervalAlgebra
beginervalIntervalAlgebra.Core, IntervalAlgebra
beginervalFromEndIntervalAlgebra.Core, IntervalAlgebra
beginervalMomentIntervalAlgebra.Core, IntervalAlgebra
BeginsLessThanZeroIntervalAlgebra.IntervalDiagram
biIntervalAlgebra.Core, IntervalAlgebra
BottomIntervalAlgebra.IntervalDiagram
clipIntervalAlgebra.IntervalUtilities, IntervalAlgebra
combineIntervalsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
combineIntervalsFromSortedIntervalAlgebra.IntervalUtilities, IntervalAlgebra
combineIntervalsFromSortedLIntervalAlgebra.IntervalUtilities, IntervalAlgebra
combineIntervalsLIntervalAlgebra.IntervalUtilities, IntervalAlgebra
ComparativePredicateOf1IntervalAlgebra.Core, IntervalAlgebra
ComparativePredicateOf2IntervalAlgebra.Core, IntervalAlgebra
complementIntervalAlgebra.Core, IntervalAlgebra
composeIntervalAlgebra.Core, IntervalAlgebra
concurIntervalAlgebra.Core, IntervalAlgebra
ConcurringIntervalsIntervalAlgebra.IntervalDiagram
ContainsIntervalAlgebra.Core, IntervalAlgebra
containsIntervalAlgebra.Core, IntervalAlgebra
converseIntervalAlgebra.Core, IntervalAlgebra
defaultIntervalDiagramOptionsIntervalAlgebra.IntervalDiagram
diffIntervalAlgebra.Core, IntervalAlgebra
disjointIntervalAlgebra.Core, IntervalAlgebra
disjointRelationsIntervalAlgebra.Core, IntervalAlgebra
durationIntervalAlgebra.Core, IntervalAlgebra
durationsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
DuringIntervalAlgebra.Core, IntervalAlgebra
duringIntervalAlgebra.Core, IntervalAlgebra
eiIntervalAlgebra.Core, IntervalAlgebra
Empty 
1 (Type/Class)IntervalAlgebra.PairedInterval, IntervalAlgebra
2 (Data Constructor)IntervalAlgebra.PairedInterval, IntervalAlgebra
enclosedByIntervalAlgebra.Core, IntervalAlgebra
enclosesIntervalAlgebra.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
filterEnclosedByIntervalAlgebra.IntervalUtilities, IntervalAlgebra
filterEnclosesIntervalAlgebra.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
fromEnumIntervalIntervalAlgebra.Core, 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
IntervalDiagramIntervalAlgebra.IntervalDiagram
IntervalDiagramOptionsIntervalAlgebra.IntervalDiagram
IntervalDiagramOptionsErrorIntervalAlgebra.IntervalDiagram
IntervalDiagramParseErrorIntervalAlgebra.IntervalDiagram
IntervallicIntervalAlgebra.Core, IntervalAlgebra
IntervalLineErrorIntervalAlgebra.IntervalDiagram
IntervalRelationIntervalAlgebra.Core, IntervalAlgebra
IntervalRelationPropertiesIntervalAlgebra.RelationProperties
intervalRelationsIntervalAlgebra.Core, IntervalAlgebra
intervalsIntervalAlgebra.PairedInterval, IntervalAlgebra
IntervalsExtendBeyondAxisIntervalAlgebra.IntervalDiagram
IntervalSizeableIntervalAlgebra.Core, IntervalAlgebra
IntervalTextIntervalAlgebra.IntervalDiagram
IntervalTextLineParseErrorIntervalAlgebra.IntervalDiagram
LabelsBeyondReferenceIntervalAlgebra.IntervalDiagram
layoutIntervalAlgebra.IntervalDiagram
leftPaddingIntervalAlgebra.IntervalDiagram
LeftPaddingLessThan0IntervalAlgebra.IntervalDiagram
lookaheadIntervalAlgebra.IntervalUtilities, IntervalAlgebra
lookbackIntervalAlgebra.IntervalUtilities, 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
makeGapsWithinPredicateIntervalAlgebra.IntervalUtilities, IntervalAlgebra
makePairedIntervalIntervalAlgebra.PairedInterval, IntervalAlgebra
MeetsIntervalAlgebra.Core, IntervalAlgebra
meetsIntervalAlgebra.Core, IntervalAlgebra
MetByIntervalAlgebra.Core, IntervalAlgebra
metByIntervalAlgebra.Core, IntervalAlgebra
MkIntervalDiagramOptionsIntervalAlgebra.IntervalDiagram
momentIntervalAlgebra.Core, IntervalAlgebra
momentizeIntervalAlgebra.Core, IntervalAlgebra
MultipleLabelAtSamePositionIntervalAlgebra.IntervalDiagram
notDisjointIntervalAlgebra.Core, IntervalAlgebra
nothingIfIntervalAlgebra.IntervalUtilities, IntervalAlgebra
nothingIfAllIntervalAlgebra.IntervalUtilities, IntervalAlgebra
nothingIfAnyIntervalAlgebra.IntervalUtilities, IntervalAlgebra
nothingIfNoneIntervalAlgebra.IntervalUtilities, IntervalAlgebra
OptionsErrorIntervalAlgebra.IntervalDiagram
OverlappedByIntervalAlgebra.Core, IntervalAlgebra
overlappedByIntervalAlgebra.Core, IntervalAlgebra
OverlapsIntervalAlgebra.Core, IntervalAlgebra
overlapsIntervalAlgebra.Core, IntervalAlgebra
PaddingWithNoAxisIntervalAlgebra.IntervalDiagram
PairedIntervalIntervalAlgebra.PairedInterval, IntervalAlgebra
pairGapsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
ParseErrorInterval 
1 (Type/Class)IntervalAlgebra.Core, IntervalAlgebra
2 (Data Constructor)IntervalAlgebra.Core, IntervalAlgebra
parseIntervalIntervalAlgebra.Core, IntervalAlgebra
parseIntervalDiagramIntervalAlgebra.IntervalDiagram
precededByIntervalAlgebra.Core, IntervalAlgebra
precedesIntervalAlgebra.Core, IntervalAlgebra
predicateIntervalAlgebra.Core, IntervalAlgebra
PrettyIntervalAlgebra.IntervalDiagram
prettyIntervalAlgebra.IntervalDiagram
prettyListIntervalAlgebra.IntervalDiagram
prop_concur_predicateIntervalAlgebra.RelationProperties
prop_disjoint_predicateIntervalAlgebra.RelationProperties
prop_enclosedBy_predicateIntervalAlgebra.RelationProperties
prop_encloses_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
prsiIntervalAlgebra.Core, IntervalAlgebra
rangeIntervalIntervalAlgebra.IntervalUtilities, IntervalAlgebra
relateIntervalAlgebra.Core, IntervalAlgebra
relationsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
relationsLIntervalAlgebra.IntervalUtilities, IntervalAlgebra
safeIntervalIntervalAlgebra.Core, IntervalAlgebra
setIntervalIntervalAlgebra.Core, IntervalAlgebra
shiftFromBeginIntervalAlgebra.Core, IntervalAlgebra
shiftFromEndIntervalAlgebra.Core, IntervalAlgebra
siIntervalAlgebra.Core, IntervalAlgebra
simpleIntervalDiagramIntervalAlgebra.IntervalDiagram
standardExampleDiagramIntervalAlgebra.IntervalDiagram
StartedByIntervalAlgebra.Core, IntervalAlgebra
startedByIntervalAlgebra.Core, IntervalAlgebra
StartsIntervalAlgebra.Core, IntervalAlgebra
startsIntervalAlgebra.Core, IntervalAlgebra
strictWithinRelationsIntervalAlgebra.Core, IntervalAlgebra
toEnumIntervalIntervalAlgebra.Core, IntervalAlgebra
TopIntervalAlgebra.IntervalDiagram
toTrivialPairIntervalAlgebra.PairedInterval, IntervalAlgebra
trivializeIntervalAlgebra.PairedInterval, IntervalAlgebra
UnboundedPageWidthIntervalAlgebra.IntervalDiagram
unionIntervalAlgebra.Core, IntervalAlgebra
unionPredicatesIntervalAlgebra.Core, IntervalAlgebra
UnsortedIntervalsIntervalAlgebra.IntervalDiagram
withinIntervalAlgebra.Core, IntervalAlgebra
withinRelationsIntervalAlgebra.Core, IntervalAlgebra