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

/test.data/negativeUpdate/testModification09.test

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