{- |

Module : $Header$

Copyright : (c) Till Mossakowski, C. Maeder, Uni Bremen 2004

License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

Maintainer : hets@tzi.de

Stability : provisional

Portability : portable

Signatures for modal logic, as extension of CASL signatures.

-}

module Modal.ModalSign where

import CASL.Sign

import qualified Common.Lib.Map as Map

import qualified Common.Lib.Set as Set

import Common.Id

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

, rigidPreds :: Map.Map Id (Set.Set PredType)

, modies :: Set.Set SIMPLE_ID

, termModies :: Set.Set Id --SORT

} deriving (Show, Eq)

emptyModalSign :: ModalSign

emptyModalSign = ModalSign Map.empty Map.empty Set.empty Set.empty