File: typecast.pn

package info (click to toggle)
maria 1.3.5-2
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 3,980 kB
  • ctags: 5,458
  • sloc: cpp: 43,402; yacc: 8,080; ansic: 436; sh: 404; lisp: 395; makefile: 291; perl: 21
file content (15 lines) | stat: -rw-r--r-- 444 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
typedef struct { struct {} b, union { struct {} s, bool c } u } s_t;
typedef struct { struct {} b, struct {} u } s1_t;
typedef struct { struct {} b, bool u } s2_t;

place s s_t;
place s1 s1_t: <s1_t;
place s2 s2_t: >s2_t;

trans s_s1 in { s: s; } out { s1: is s1_t s; } gate s.u is s;

trans s_s2 in { s: s; } out { s2: is s2_t s; } gate s.u is c;

trans s1_s in { s1: s; } out { s: is s_t s; };

trans s2_s in { s2: s; } out { s: is s_t s; };