842ae4bd224140319ae7feec1872b93dfd491143fielding{- |

842ae4bd224140319ae7feec1872b93dfd491143fieldingModule : ./Temporal/ModalCaslToMu.hs

842ae4bd224140319ae7feec1872b93dfd491143fieldingCopyright : (c) Klaus Hartke, Uni Bremen 2008

842ae4bd224140319ae7feec1872b93dfd491143fieldingLicense : GPLv2 or higher, see LICENSE.txt

842ae4bd224140319ae7feec1872b93dfd491143fielding

842ae4bd224140319ae7feec1872b93dfd491143fieldingMaintainer : Christian.Maeder@dfki.de

17ee2267021fa8500d54a0af18ed8c2930a19a8dwroweStability : experimental

ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndPortability : portable

17ee2267021fa8500d54a0af18ed8c2930a19a8dwrowe

ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcnd-}

ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcnd

ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndmodule ModalCaslToMu where

ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcnd

ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndimport Control.Monad as Monad

17ee2267021fa8500d54a0af18ed8c2930a19a8dwroweimport Data.Maybe as Maybe

17ee2267021fa8500d54a0af18ed8c2930a19a8dwrowe

9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhimport ModalCasl as Casl

9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhimport Mu

9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianh

9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianh

9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianh{- ----------------------------------------------------------------------------

17ee2267021fa8500d54a0af18ed8c2930a19a8dwroweConvert Modal CASL formulas to formulas of the µ-Calculus

17ee2267021fa8500d54a0af18ed8c2930a19a8dwrowe---------------------------------------------------------------------------- -}

17ee2267021fa8500d54a0af18ed8c2930a19a8dwrowe

6001c2b751ba380362e79f6882c7c59dd66ea077wroweconvert :: Casl.StateFormula a -> Maybe (Mu.StateFormula a)

6001c2b751ba380362e79f6882c7c59dd66ea077wrowe

17ee2267021fa8500d54a0af18ed8c2930a19a8dwroweconvert (Casl.Var x) = Just (Mu.Var x)

17ee2267021fa8500d54a0af18ed8c2930a19a8dwrowe

17ee2267021fa8500d54a0af18ed8c2930a19a8dwroweconvert (Casl.Snot phi) = liftM Mu.Snot (convert phi)

17ee2267021fa8500d54a0af18ed8c2930a19a8dwroweconvert (Casl.Sand phi psi) = liftM2 Mu.Sand (convert phi) (convert psi)

17ee2267021fa8500d54a0af18ed8c2930a19a8dwroweconvert (Casl.Sor phi psi) = liftM2 Mu.Sor (convert phi) (convert psi)

17ee2267021fa8500d54a0af18ed8c2930a19a8dwrowe

java.lang.NullPointerException