Changeset 11235 for trunk/CspCASL/SimplifySen.hs

Timestamp:

08.01.2009 16:24:35 (11 months ago)

Author:

csliam

Message:

finished static analysis of Events - not event sets for CspCASL

Files:

• trunk/CspCASL/SimplifySen.hs (modified) (1 diff)

trunk/CspCASL/SimplifySen.hs

@@ -20 +20 @@
 import CspCASL.SignCSP
 
+
+-- FOR NOW - Do not simply sentences.
+
 -- | Simplify a CspCASL sentence for before pretty printing, e.g. for
 -- | "show theory". typically this replaces fully quallified CASL by
 -- | non fully qualified CASL so that it is readable.
 simplifySen :: CspCASLSign -> CspCASLSen -> CspCASLSen
-simplifySen sigma sen =
-    case sen of
-      CASLSen f ->
-          let caslSign = ccSig2CASLSign sigma
-          in CASLSen $ simplifyCASLSen caslSign f
-      ProcessEq pn var alpha p -> ProcessEq pn var alpha ( p) -- (simplifyProc sigma p)
+simplifySen sigma sen = sen
+
+
+-- simplifySen :: CspCASLSign -> CspCASLSen -> CspCASLSen
+-- simplifySen sigma sen =
+--     case sen of
+--       CASLSen f ->
+--           let caslSign = ccSig2CASLSign sigma
+--           in CASLSen $ simplifyCASLSen caslSign f
+--       ProcessEq pn var alpha p -> ProcessEq pn var alpha (simplifyProc sigma p)
 
 simplifyProc :: CspCASLSign -> PROCESS -> PROCESS