Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder, DFKI GmbH 2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.Disambiguate

Description

Disambiguate all names that are not in the overload relation for CASL2OWL

Documentation

mkOverloadedId :: Int -> Id -> Id

disambigSig :: Sign f e -> Morphism f e ()

disambigSigExt :: InducedSign f e m e -> m -> Sign f e -> Morphism f e m

disambOverloaded :: Ord a => Map Id Int -> (a -> a) -> Map Id [Set a] -> Map (Id, a) (Id, a)

createOpMorMap :: Map (Id, OpType) (Id, OpType) -> Map (Id, OpType) (Id, OpKind)