| Copyright | (c) Christian Maeder DFKI GmbH 2011 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CspCASL.SymMapAna
Description
Documentation
type CspRawMap = Map CspRawSymbol CspRawSymbol Source #
cspInducedFromToMorphism :: CspRawMap -> ExtSign CspCASLSign CspSymbol -> ExtSign CspCASLSign CspSymbol -> Result CspCASLMorphism Source #
chanFun :: CspCASLSign -> CspRawMap -> Sort_map -> Id -> Set SORT -> Result ChanMap -> Result ChanMap Source #
directChanMap :: CspRawMap -> Sort_map -> Id -> Set SORT -> Result ChanMap -> Result ChanMap Source #
insertChanSym :: Sort_map -> Id -> CspRawSymbol -> SORT -> Result ChanMap -> Result ChanMap Source #
mappedChanSym :: Sort_map -> Id -> SORT -> CspRawSymbol -> Result Id Source #
procFun :: CspCASLSign -> CspRawMap -> Sort_map -> Rel SORT -> ChanMap -> Id -> Set ProcProfile -> Result ProcessMap -> Result ProcessMap Source #
directProcMap :: CspRawMap -> Sort_map -> Rel SORT -> ChanMap -> Id -> Set ProcProfile -> Result ProcessMap -> Result ProcessMap Source #
lookupProcSymbol :: CspRawMap -> Id -> ProcProfile -> Maybe CspRawSymbol Source #
insertProcSym :: Sort_map -> Rel SORT -> ChanMap -> Id -> CspRawSymbol -> ProcProfile -> Result ProcessMap -> Result ProcessMap Source #
mappedProcSym :: Sort_map -> Rel SORT -> ChanMap -> Id -> ProcProfile -> CspRawSymbol -> Result (Id, CommAlpha) Source #
compatibleProcTypes :: Rel SORT -> ProcProfile -> ProcProfile -> Bool Source #
matchProcTypes :: ProcProfile -> ProcProfile -> Bool Source #
cspMatches :: CspSymbol -> CspRawSymbol -> Bool Source #
procProfile2Sorts :: ProcProfile -> Set SORT Source #
cspRevealSym :: CspSymbol -> CspCASLSign -> CspCASLSign Source #
cspGeneratedSign :: Set CspSymbol -> CspCASLSign -> Result CspCASLMorphism Source #
cspCogeneratedSign :: Set CspSymbol -> CspCASLSign -> Result CspCASLMorphism Source #
cspProfileContains :: Id -> CspSymbType -> Bool Source #