/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

  1. # Rules:
  2. 'Rule_0' -> A(x!1, y), B(k!1) @ 1.0
  3. %init: 5 * A(x!1, y, z!2), B(k!1), A(x, y!2)
  4. # Simulation:
  5. %obs: '001' A(y?)