Documentation

type CspRawMap = Map CspRawSymbol CspRawSymbol

cspInducedFromToMorphism :: CspRawMap -> ExtSign CspCASLSign CspSymbol -> ExtSign CspCASLSign CspSymbol -> Result CspCASLMorphism

cspInducedFromMorphism :: CspRawMap -> CspCASLSign -> Result CspCASLMorphism

chanFun :: CspCASLSign -> CspRawMap -> Sort_map -> Id -> Set SORT -> Result ChanMap -> Result ChanMap

directChanMap :: CspRawMap -> Sort_map -> Id -> Set SORT -> Result ChanMap -> Result ChanMap

insertChanSym :: Sort_map -> Id -> CspRawSymbol -> SORT -> Result ChanMap -> Result ChanMap

mappedChanSym :: Sort_map -> Id -> SORT -> CspRawSymbol -> Result Id

procFun :: CspCASLSign -> CspRawMap -> Sort_map -> Rel SORT -> ChanMap -> Id -> Set ProcProfile -> Result ProcessMap -> Result ProcessMap

directProcMap :: CspRawMap -> Sort_map -> Rel SORT -> ChanMap -> Id -> Set ProcProfile -> Result ProcessMap -> Result ProcessMap

lookupProcSymbol :: CspRawMap -> Id -> ProcProfile -> Maybe CspRawSymbol

insertProcSym :: Sort_map -> Rel SORT -> ChanMap -> Id -> CspRawSymbol -> ProcProfile -> Result ProcessMap -> Result ProcessMap

mappedProcSym :: Sort_map -> Rel SORT -> ChanMap -> Id -> ProcProfile -> CspRawSymbol -> Result (Id, CommAlpha)

compatibleProcTypes :: Rel SORT -> ProcProfile -> ProcProfile -> Bool

liamsRelatedCommAlpha :: Rel SORT -> CommAlpha -> CommAlpha -> Bool

liamsRelatedCommTypes :: Rel SORT -> CommType -> CommType -> Bool

matchProcTypes :: ProcProfile -> ProcProfile -> Bool

cspMatches :: CspSymbol -> CspRawSymbol -> Bool

procProfile2Sorts :: ProcProfile -> Set SORT

cspRevealSym :: CspSymbol -> CspCASLSign -> CspCASLSign

cspGeneratedSign :: Set CspSymbol -> CspCASLSign -> Result CspCASLMorphism

cspCogeneratedSign :: Set CspSymbol -> CspCASLSign -> Result CspCASLMorphism

cspHideSym :: CspSymbol -> Set CspSymbol -> Set CspSymbol

cspProfileContains :: Id -> CspSymbType -> Bool

unusedChan :: Id -> SORT -> CspSymbol -> Bool