01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder{- |

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederModule : $Header$

e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiCopyright : (c) Till Mossakowski, Uni Bremen 2002-2004

1549f3abf73c1122acff724f718b615c82fa3648Till MossakowskiLicence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt

97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederMaintainer : hets@tzi.de

3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederStability : provisional

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederPortability : portable

351145cfe8c03b4d47133c96b209f2bd6cfbf504Christian Maeder

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder Signatures for modal logic, as extension of CASL signatures.

e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowski-}

1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowski

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maedermodule Modal.ModalSign where

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederimport CASL.Sign

f8b715ab2993083761c0aedb78f1819bcf67b6ccChristian Maederimport qualified Common.Lib.Map as Map

01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederimport qualified Common.Lib.Set as Set

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maederimport Common.Id

ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder

ad270004874ce1d0697fb30d7309f180553bb315Christian Maederdata ModalSign = ModalSign { rigidOps :: Map.Map Id (Set.Set OpType)

5e46b572ed576c0494768998b043d9d340594122Till Mossakowski , rigidPreds :: Map.Map Id (Set.Set PredType)

db453fe9625a9dab5d108f7a5e464598814144b8Jian Chun Wang } deriving (Show, Eq)

23a00c966f2aa8da525d7a7c51933c99964426c0Christian Maeder

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian MaederemptyModalSign :: ModalSign

575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian MaederemptyModalSign = ModalSign Map.empty Map.empty

8e9c3881fb6e710b1e08bf5ac8ff9d393df2e74eChristian Maeder