{- |

Module : $Header$

Copyright : (c) Till Mossakowski, Uni Bremen 2004

Licence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt

Maintainer : till@tzi.de

Stability : provisional

Portability : portable

Signatures for CoCASL, as extension of CASL signatures.

-}

module CoCASL.CoCASLSign where

import CASL.Sign

import CASL.AS_Basic_CASL (SORT, OP_SYMB)

import qualified Common.Lib.Map as Map

import qualified Common.Lib.Set as Set

import qualified Common.Lib.Rel as Rel

import Common.Id

data CoCASLSign = CoCASLSign { sees :: Rel.Rel SORT

, constructs :: Rel.Rel SORT

, constructors :: Map.Map SORT (Set.Set OP_SYMB)

} deriving (Show, Eq)

emptyCoCASLSign :: CoCASLSign

emptyCoCASLSign = CoCASLSign Rel.empty Rel.empty Map.empty