File: quant.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 (10 lines) | stat: -rw-r--r-- 244 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
 
typedef enum {i,j} index_t;
typedef enum {a,b} item_t;
typedef struct { index_t a, item_t b } struct_t;

place p (0, 6) struct_t: struct_t p: (p.b == is item_t a ? 2 : 1)#p;

trans t
in {
  place p: index_t e: ({e, .n}, {e, +.n}, {+e, .n});
};