hets -- a heterogenous Specification (CASL) tool set
Contents
Index
HasCASL.SymbolMapAnalysis
Portability
non-portable (imports Morphsim)
Stability
provisional
Maintainer
hets@tzi.de
Description
The symbol map analysis for the HasCASL logic (adapted from CASL version r1.8 of 24.1.2004)
Synopsis
inducedFromMorphism
::
RawSymbolMap
->
Env
->
Result
Morphism
inducedFromToMorphism
::
RawSymbolMap
->
Env
->
Env
->
Result
Morphism
cogeneratedSign
::
SymbolSet
->
Env
->
Result
Morphism
Produced by
Haddock
version 0.6