Changeset 10428 for trunk/CspCASL/AS_CspCASL_Process.der.hs
- Timestamp:
- 01.08.2008 13:17:06 (16 months ago)
- Files:
-
- 1 modified
-
trunk/CspCASL/AS_CspCASL_Process.der.hs (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/CspCASL/AS_CspCASL_Process.der.hs
r10298 r10428 37 37 38 38 39 40 39 -- |Event sets are sets of communication types. 41 40 42 41 data EVENT_SET = EventSet [COMM_TYPE] Range 43 42 deriving (Show,Ord, Eq) 44 45 43 46 44 … … 50 48 51 49 52 53 50 type CHANNEL_NAME = SIMPLE_ID 54 51 … … 56 53 57 54 type COMM_TYPE = SIMPLE_ID 58 59 60 61 55 62 56
