{-|
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