/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 

    

  1. # Rules:

    2. 

  2. 

    3. 

  3. 'Rule_0' A(x~p!1, y), B(k!1, l) -> A(x~q!1, y), B(k!1, l) @ 1.0

    4. 

  4. 

    5. 

  5. %init: 6 * A(x~p!1, y, z!5), B(k!1, l~q), A(x~q!5)

    6. 

  6. %init: 2 * A(x~p!1, y), A(x!1)

    7. 

  7. 

    8. 

  8. # Simulation:

    9. 

  9. 

    10. 

  10. %obs: '001' A(x~q?)
    11.