Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski, C. Maeder, Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

COL.COLSign

Description

Signatures of COL as extension of CASL signatures.

Documentation

data COLSign

Constructors

COLSign 

Fields

constructors :: Set Id
 
observers :: Map Id Int
 

Instances

emptyCOLSign :: COLSign

addCOLSign :: COLSign -> COLSign -> COLSign

diffCOLSign :: COLSign -> COLSign -> COLSign

isSubCOLSign :: COLSign -> COLSign -> Bool