> {-# OPTIONS_HADDOCK show-extensions #-}
>
> module LTK.Decide (
>
> isTrivial
> , isFinite, isCofinite
> , isTFinite, isTCofinite
>
> , isSP, isPT
>
> , isDef, isRDef, isGD
> , isSL, isLT, isLTT, isLAcom
>
> , isAcom
> , isCB, isGLT, isLPT, isGLPT, isSF
>
> , isTDef, isTRDef, isTGD
> , isTSL, isTLT, isTLTT, isTLAcom, isTLPT
> , isMTF, isMTDef, isMTRDef, isMTGD
>
> , isB, isLB, isTLB
>
> , isFO2, isFO2B, isFO2BF, isFO2S
>
> , isVariety
> ) where
> import LTK.Decide.Finite
> import LTK.Decide.SL
> import LTK.Decide.LT
> import LTK.Decide.LPT
> import LTK.Decide.LTT
> import LTK.Decide.TSL
> import LTK.Decide.TLT
> import LTK.Decide.TLTT
> import LTK.Decide.TLPT
> import LTK.Decide.SP
> import LTK.Decide.PT
> import LTK.Decide.SF
> import LTK.Decide.FO2
> import LTK.Decide.GLT
> import LTK.Decide.GLPT
> import LTK.Decide.GD
> import LTK.Decide.CB
> import LTK.Decide.B
> import LTK.Decide.Acom
> import LTK.Decide.LAcom
> import LTK.Decide.TLAcom
> import LTK.Decide.Definite
> import LTK.Decide.Trivial
> import LTK.Decide.Multitier
> import LTK.Decide.Variety