hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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