syfco-1.1.0.0: src/Detection.hs

-----------------------------------------------------------------------------
-- |
-- Module      :  Detection
-- License     :  MIT (see the LICENSE file)
-- Maintainer  :  Felix Klein (klein@react.uni-saarland.de)
--
-- Detection of different fragements of LTL
--
-----------------------------------------------------------------------------

module Detection
  ( GRFormula(..)
  , Refusal
  , detectGR
  , checkGR
  ) where

-----------------------------------------------------------------------------

import Detection.GeneralizedReactivity
  ( GRFormula(..)
  , Refusal
  , detectGR
  , checkGR
  )

-----------------------------------------------------------------------------