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

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

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

cogeneratedSign :: SymbolSet -> Env -> Result Morphism Source #

hide the symbols in the set

generatedSign :: SymbolSet -> Env -> Result Morphism Source #

reveal the symbols in the set