/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 

    

  1. # Rules:

    2. 

  2. 

    3. 

  3. 'Rule_0' -> A(x, y) @ 1.0

    4. 

  4. 

    5. 

  5. %init: 3 * A(x~p, y~q)											

    6. 

  6. 

    7. 

  7. # Simulation:

    8. 

  8. 

    9. 

  9. %obs: '001' A()
    10.