PageRenderTime 24ms CodeModel.GetById 21ms app.highlight 1ms RepoModel.GetById 0ms app.codeStats 0ms

/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
Possible License(s): LGPL-3.0, Apache-2.0
1'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)
2%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))
3%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)
4