Copyright | (c) NoviSci Inc 2020 |
---|---|
License | BSD3 |
Maintainer | bsaul@novisci.com |
Safe Haskell | Safe |
Language | Haskell2010 |
The IntervalAlgebra
module provides data types and related classes for the
interval-based temporal logic described in Allen (1983)
and axiomatized in Allen and Hayes (1987).
A good primer on Allen's algebra can be found here.
This main module reexports IntervalAlgebra.Core
, IntervalAlgebra.IntervalUtilities
,
and IntervalAlgebra.PairedInterval
, which is probably more than enough to get
going for most cases.
Documentation
module IntervalAlgebra.Core