hets -- a heterogenous Specification (CASL) tool setContentsIndex
CASL.SymbolMapAnalysis
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
The symbol map analysis for the CASL logic
Synopsis
inducedFromMorphism :: RawSymbolMap -> Sign -> Result Morphism
testMatch :: RawSymbolMap -> Symbol -> Symbol -> Bool
canBeMapped :: RawSymbolMap -> Symbol -> Symbol -> Bool
preservesName :: Symbol -> Symbol -> Bool
compatibleSorts :: SymbolMap -> (SORT, SORT) -> Bool
extendSymbMap :: SymbolMap -> Symbol -> Symbol -> Maybe SymbolMap
type PosMap = (Map Symbol (SymbolSet, (Bool, Int)), Map (Bool, Int) [(Symbol, SymbolSet)])
postponeEntry :: Symbol -> SymbolSet -> Bool
removeFromPosmap :: Symbol -> (Bool, Int) -> PosMap -> PosMap
addToPosmap :: Symbol -> SymbolSet -> PosMap -> PosMap
restrictPosMap :: SymbolSet -> SymbolSet -> PosMap -> PosMap
restrictSorts :: Symbol -> Symbol -> Sign -> Sign -> PosMap -> PosMap
removeIncompatibleSortMaps :: Maybe PosMap -> (SORT, SORT) -> Maybe PosMap
restrictOps :: Symbol -> Symbol -> PosMap -> Maybe PosMap
inducedFromToMorphism :: RawSymbolMap -> Sign -> Sign -> Result Morphism
generatedSign :: SymbolSet -> Sign -> Result Morphism
cogeneratedSign :: SymbolSet -> Sign -> Result Morphism
finalUnion :: Sign -> Sign -> Result Sign
Produced by Haddock version 0.6