Changeset 10824 for trunk/CspCASL/SignCSP.hs

Timestamp:

14.10.2008 17:14:33 (17 months ago)

Author:

maeder

Message:

changed CASL morphism composition

Files:

• trunk/CspCASL/SignCSP.hs (modified) (2 diffs)

trunk/CspCASL/SignCSP.hs

@@ -21 +21 @@
 import CASL.AS_Basic_CASL (SORT)
 import CASL.Sign (emptySign, Sign, extendedInfo, sortRel)
-import CASL.Morphism (Morphism)
+import CASL.Morphism (Morphism, composeIdMaps)
 
 import qualified Common.Doc as Doc
@@ -138 +138 @@
     } deriving (Eq, Show)
 
+composeCspAddMorphism :: CspAddMorphism -> CspAddMorphism
+                      -> Result CspAddMorphism
+composeCspAddMorphism m1 m2 = return emptyCspAddMorphism
+  { channelMap = composeIdMaps (channelMap m1) $ channelMap m2
+  , processMap = composeIdMaps (processMap m1) $ processMap m2 }
+
 inverseCspAddMorphism :: CspAddMorphism -> Result CspAddMorphism
 inverseCspAddMorphism cm = do