Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski, Christian Maeder and Uni Bremen 2002-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

HasCASL.SymbolMapAnalysis

Description

symbol map analysis for the HasCASL logic

Synopsis

Documentation

inducedFromMorphism :: RawSymbolMap -> Env -> Result Morphism

inducedFromToMorphism :: RawSymbolMap -> ExtSign Env Symbol -> ExtSign Env Symbol -> Result Morphism

basically test if the renamed source signature is in the target signature

cogeneratedSign :: SymbolSet -> Env -> Result Morphism

hide the symbols in the set

generatedSign :: SymbolSet -> Env -> Result Morphism

reveal the symbols in the set