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 Source #

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

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

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

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