{-|
    Module      :  Numeric.AERN.Basics.RefinementOrder
    Description :  classical and approximate domain bases and lattices (⊑⊑,⊓⊓,⊔⊔)  
    Copyright   :  (c) Michal Konecny, Jan Duracz
    License     :  BSD3

    Maintainer  :  mikkonecny@gmail.com
    Stability   :  experimental
    Portability :  portable
    
    Type classes representing classical as well as approximate 
    Comparisons, domain bases and lattices with the refinement order notation 
    (⊑,⊓,⊔).
    
    This module is meant to be imported qualified.
    It is recommended to use the prefix RefOrd.
-}
module Numeric.AERN.Basics.RefinementOrder 
(
    module Numeric.AERN.Basics.RefinementOrder.PartialComparison,
    module Numeric.AERN.Basics.RefinementOrder.Arbitrary,
    module Numeric.AERN.Basics.RefinementOrder.RoundedBasis,
    module Numeric.AERN.Basics.RefinementOrder.RoundedLattice,
    module Numeric.AERN.Basics.RefinementOrder.Extrema,
    module Numeric.AERN.Basics.RefinementOrder.InPlace.RoundedBasis, 
    module Numeric.AERN.Basics.RefinementOrder.InPlace.RoundedLattice
)
where

import Numeric.AERN.Basics.RefinementOrder.PartialComparison
import Numeric.AERN.Basics.RefinementOrder.Arbitrary
import Numeric.AERN.Basics.RefinementOrder.RoundedBasis
import Numeric.AERN.Basics.RefinementOrder.RoundedLattice
import Numeric.AERN.Basics.RefinementOrder.Extrema
import Numeric.AERN.Basics.RefinementOrder.InPlace.RoundedBasis
import Numeric.AERN.Basics.RefinementOrder.InPlace.RoundedLattice