typedincarity10.spec 736 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
Workflow

forallmay i:A True -> R += (i)
forallmay i:A,j:B (R(i)) -> S += (i,j)
forallmay i:A,j:B,k:C (S(i,j)) -> T += (i,j,k)
forallmay i:A,j:B,k:C,l:D (T(i,j,k)) -> U += (i,j,k,l)
forallmay i:A,j:B,k:C,l:D,m:E (U(i,j,k,l)) -> V += (i,j,k,l,m)
forallmay i:A,j:B,k:C,l:D,m:E,n:F (V(i,j,k,l,m)) -> W += (i,j,k,l,m,n)
forallmay i:A,j:B,k:C,l:D,m:E,n:F,o:G (W(i,j,k,l,m,n)) -> X += (i,j,k,l,m,n,o)
forallmay i:A,j:B,k:C,l:D,m:E,n:F,o:G,p:H (X(i,j,k,l,m,n,o)) -> Y += (i,j,k,l,m,n,o,p)
forallmay i:A,j:B,k:C,l:D,m:E,n:F,o:G,p:H,q:I (Y(i,j,k,l,m,n,o,p)) -> Z += (i,j,k,l,m,n,o,p,q)
forallmay i:A,j:B,k:C,l:D,m:E,n:F,o:G,p:H,q:I,r:J (Z(i,j,k,l,m,n,o,p,q)) -> A += (i,j,k,l,m,n,o,p,q,r)

Target

A(u:A,v:B,w:C,x:D,y:E,z:F,aa:G,ab:H,ac:I,ad:J)