PageRenderTime 57ms CodeModel.GetById 48ms app.highlight 1ms RepoModel.GetById 7ms app.codeStats 0ms

/test.data/negativeUpdate/testSynthesis05.test

http://github.com/kappamodeler/jkappa
Unknown | 9 lines | 5 code | 4 blank | 0 comment | 0 complexity | dcc394fe23dc2b9ab0ef5ef7f9e5fce8 MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0 
1# Rules:
2
3'Rule_0' -> A(x!1, y), B(k!1) @ 1.0
4
5%init: 5 * A(x!1, y, z!2), B(k!1), A(x, y!2) 											
6
7# Simulation:
8
9%obs: '001' A(y?)