| Copyright | (c) Till Mossakowski, C. Maeder and Uni Bremen 2002-2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CASL.SymbolMapAnalysis
Description
Symbol map analysis for the CASL logic. Follows Sect. III:4.1 of the CASL Reference Manual.
- inducedFromMorphism :: (Pretty e, Show f) => m -> RawSymbolMap -> Sign f e -> Result (Morphism f e m)
- inducedFromToMorphism :: (Eq e, Show f, Pretty e, Pretty m) => m -> (e -> e -> Bool) -> (e -> e -> e) -> RawSymbolMap -> ExtSign (Sign f e) Symbol -> ExtSign (Sign f e) Symbol -> Result (Morphism f e m)
- inducedFromMorphismExt :: (Pretty e, Show f) => InducedSign f e m e -> InducedMorphism e m -> RawSymbolMap -> Sign f e -> Result (Morphism f e m)
- inducedFromToMorphismExt :: (Eq e, Show f, Pretty e, Pretty m) => InducedSign f e m e -> InducedMorphism e m -> (Morphism f e m -> Morphism f e m -> Result m) -> (e -> e -> Bool) -> (e -> e -> e) -> RawSymbolMap -> ExtSign (Sign f e) Symbol -> ExtSign (Sign f e) Symbol -> Result (Morphism f e m)
- cogeneratedSign :: m -> SymbolSet -> Sign f e -> Result (Morphism f e m)
- generatedSign :: m -> SymbolSet -> Sign f e -> Result (Morphism f e m)
- finalUnion :: (e -> e -> e) -> Sign f e -> Sign f e -> Result (Sign f e)
- constMorphExt :: m -> InducedMorphism e m
- revealSym :: Symbol -> Sign f e -> Sign f e
- profileContainsSort :: SORT -> SymbType -> Bool
Documentation
inducedFromMorphism :: (Pretty e, Show f) => m -> RawSymbolMap -> Sign f e -> Result (Morphism f e m)
function and preds in the overloading relation are mapped in the same way thus preserving the overload-relation
inducedFromMorphismExt :: (Pretty e, Show f) => InducedSign f e m e -> InducedMorphism e m -> RawSymbolMap -> Sign f e -> Result (Morphism f e m)
Arguments
| :: (Eq e, Show f, Pretty e, Pretty m) | |
| => InducedSign f e m e | |
| -> InducedMorphism e m | compute extended morphism |
| -> (Morphism f e m -> Morphism f e m -> Result m) | composition of extensions |
| -> (e -> e -> Bool) | subsignature test of extensions |
| -> (e -> e -> e) | difference of extensions |
| -> RawSymbolMap | |
| -> ExtSign (Sign f e) Symbol | |
| -> ExtSign (Sign f e) Symbol | |
| -> Result (Morphism f e m) |
cogeneratedSign :: m -> SymbolSet -> Sign f e -> Result (Morphism f e m)
generatedSign :: m -> SymbolSet -> Sign f e -> Result (Morphism f e m)
constMorphExt :: m -> InducedMorphism e m
profileContainsSort :: SORT -> SymbType -> Bool