PageRenderTime 13ms CodeModel.GetById 12ms app.highlight 0ms RepoModel.GetById 0ms app.codeStats 0ms

/test.data/negativeUpdate/testSynthesis03.test

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