> {-# OPTIONS_HADDOCK show-extensions #-}
>
> module LTK.DecideM (
>
> isFiniteM, isCofiniteM
> , isTFiniteM, isTCofiniteM
>
> , isPTM
>
> , isDefM, isRDefM, isGDM
> , isLTM, isLTTM, isLAcomM
>
> , isAcomM
> , isCBM, isGLTM, isLPTM, isGLPTM, isSFM
> , isDot1M
>
> , isTDefM, isTRDefM, isTGDM
> , isTLTM, isTLTTM, isTLAcomM, isTLPTM
> , isMTFM, isMTDefM, isMTRDefM, isMTGDM
>
> , isBM, isLBM, isTLBM
>
> , isFO2M, isFO2BM, isFO2BFM, isFO2SM
>
> , isVarietyM
> ) where
> import LTK.Decide.Finite
> import LTK.Decide.LT
> import LTK.Decide.LPT
> import LTK.Decide.LTT
> import LTK.Decide.TLT
> import LTK.Decide.TLTT
> import LTK.Decide.TLPT
> 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.DotDepth
> import LTK.Decide.Multitier
> import LTK.Decide.Variety