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

Index

.+.IntervalAlgebra.IntervalUtilities, IntervalAlgebra
<|>IntervalAlgebra.Core, IntervalAlgebra
><IntervalAlgebra.IntervalUtilities, IntervalAlgebra
AfterIntervalAlgebra.Core, IntervalAlgebra
afterIntervalAlgebra.Core, IntervalAlgebra
allIArelationsIntervalAlgebra.RelationProperties
arbitrarySizedPositiveIntervalAlgebra.Arbitrary
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
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
converseRelationIntervalAlgebra.Core, IntervalAlgebra
defaultIntervalDiagramOptionsIntervalAlgebra.IntervalDiagram
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
FinishedByIntervalAlgebra.Core, IntervalAlgebra
finishedByIntervalAlgebra.Core, IntervalAlgebra
FinishesIntervalAlgebra.Core, IntervalAlgebra
finishesIntervalAlgebra.Core, IntervalAlgebra
fromEnumIntervalIntervalAlgebra.Core, IntervalAlgebra
gapsIntervalAlgebra.IntervalUtilities, IntervalAlgebra
genDayIntervalAlgebra.Arbitrary
genDiffTimeIntervalAlgebra.Arbitrary
genNominalDiffTimeIntervalAlgebra.Arbitrary
genUTCTimeIntervalAlgebra.Arbitrary
getIntervalIntervalAlgebra.Core, IntervalAlgebra
getPairDataIntervalAlgebra.PairedInterval, IntervalAlgebra
intersectIntervalAlgebra.IntervalUtilities, IntervalAlgebra
intersectionIntervalAlgebra.Core, IntervalAlgebra
IntervalIntervalAlgebra.Core, IntervalAlgebra
IntervalDiagramIntervalAlgebra.IntervalDiagram
IntervalDiagramOptionsIntervalAlgebra.IntervalDiagram
IntervalDiagramOptionsErrorIntervalAlgebra.IntervalDiagram
IntervalDiagramParseErrorIntervalAlgebra.IntervalDiagram
IntervallicIntervalAlgebra.Core, IntervalAlgebra
IntervalLineErrorIntervalAlgebra.IntervalDiagram
IntervalRelationIntervalAlgebra.Core, IntervalAlgebra
intervalRelationsIntervalAlgebra.Core, IntervalAlgebra
intervalsIntervalAlgebra.PairedInterval, IntervalAlgebra
IntervalsExtendBeyondAxisIntervalAlgebra.IntervalDiagram
IntervalTextIntervalAlgebra.IntervalDiagram
IntervalTextLineParseErrorIntervalAlgebra.IntervalDiagram
IvIntervalAlgebra.Core, IntervalAlgebra
ivAfterIntervalAlgebra.Core, IntervalAlgebra
ivBeforeIntervalAlgebra.Core, IntervalAlgebra
ivBeginIntervalAlgebra.Core, IntervalAlgebra
ivContainsIntervalAlgebra.Core, IntervalAlgebra
ivDuringIntervalAlgebra.Core, IntervalAlgebra
ivEndIntervalAlgebra.Core, IntervalAlgebra
ivEqualsIntervalAlgebra.Core, IntervalAlgebra
ivExpandlIntervalAlgebra.Core, IntervalAlgebra
ivExpandrIntervalAlgebra.Core, IntervalAlgebra
ivFinishedByIntervalAlgebra.Core, IntervalAlgebra
ivFinishesIntervalAlgebra.Core, IntervalAlgebra
ivMeetsIntervalAlgebra.Core, IntervalAlgebra
ivMetByIntervalAlgebra.Core, IntervalAlgebra
ivOverlappedByIntervalAlgebra.Core, IntervalAlgebra
ivOverlapsIntervalAlgebra.Core, IntervalAlgebra
ivRelateIntervalAlgebra.Core, IntervalAlgebra
ivStartedByIntervalAlgebra.Core, IntervalAlgebra
ivStartsIntervalAlgebra.Core, IntervalAlgebra
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
makePairedIntervalIntervalAlgebra.PairedInterval, IntervalAlgebra
makePosIntervalAlgebra.Axioms
maxDiffTimeIntervalAlgebra.Arbitrary
MeetsIntervalAlgebra.Core, IntervalAlgebra
meetsIntervalAlgebra.Core, IntervalAlgebra
MetByIntervalAlgebra.Core, IntervalAlgebra
metByIntervalAlgebra.Core, IntervalAlgebra
MkIntervalDiagramOptionsIntervalAlgebra.IntervalDiagram
MomentIntervalAlgebra.Core, IntervalAlgebra, IntervalAlgebra
momentIntervalAlgebra.Core, IntervalAlgebra
momentizeIntervalAlgebra.Core, IntervalAlgebra
MultipleLabelAtSamePositionIntervalAlgebra.IntervalDiagram
notDisjointIntervalAlgebra.Core, 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
PointIntervalAlgebra.Core, IntervalAlgebra, IntervalAlgebra
PointedIvIntervalAlgebra.Core, IntervalAlgebra
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
safeIntervalIntervalAlgebra.Core, IntervalAlgebra
setIntervalIntervalAlgebra.Core, IntervalAlgebra
shiftFromBeginIntervalAlgebra.Core, IntervalAlgebra
shiftFromEndIntervalAlgebra.Core, IntervalAlgebra
siIntervalAlgebra.Core, IntervalAlgebra
simpleIntervalDiagramIntervalAlgebra.IntervalDiagram
sizedIntervalGenIntervalAlgebra.Arbitrary
SizedIvIntervalAlgebra.Core, IntervalAlgebra
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
xorIntervalAlgebra.Axioms