/test.data/actions/test47.test
http://github.com/kappamodeler/jkappa · Unknown · 4 lines · 3 code · 1 blank · 0 comment · 0 complexity · 8588a6377cf9237ad1178b23405d7b5a MD5 · raw file
- 'test_BRK_00' A(y!3,z!1,x~w!2),A(y!4,x~w!5,z!1),B(x!3),B(x!2),B(x!4,y!6),B(x!5),C(z~a!6) -> A(y!3,z,x~w!2),A(y!4,x~w!5,z),B(x!3),B(x!2),B(x!4,y!6),B(x!5),C(z~a!6)
- %init: 2 * (A(y!3,z!1,x~w!2),A(y!4,x~w!5,z!1),B(x!3),B(x!2),B(x!4,y!6),B(x!5),C(z~a!6))
- %obs: '2030' A(y!3,z!1,x~w!2),A(y!4,x~w!5,z!1),B(x!3),B(x!2),B(x!4,y!6),B(x!5),C(z~a!6)