{-| Module : Duration Description : Duration modules Copyright : (c) David Janin, Simon Archipoff, 2016 License : see the LICENSE file in the distribution Maintainer : janin@labri.fr Stability : experimental A collection of modules defining durations. -} module Duration (module Duration.MinMaxAffine, module Duration.Lattice) where import Duration.MinMaxAffine import Duration.Lattice -- To be used only in case of need -- import Duration.LPAffine -- import Duration.Polytope