/test.data/ruleCompressions/model/qualitative/~kappa005.test

http://github.com/kappamodeler/jkappa · Unknown · 7 lines · 6 code · 1 blank · 0 comment · 0 complexity · 43e56dec3b9967d92958be519cd321ea MD5 · raw file

  1. '1' a(x~u!1),b(x!1) -> a(x~u!1),b(x!1), c(x) @ 1.0
  2. '2' a(x~p!1),d(x!1) -> a(x~p!1),d(x!1), c(x) @ 1.0
  3. %init: 10*(a(x~u!1),b(x!1))
  4. %init: 10*(a(x~u!1),d(x!1))
  5. %init: 10*(a(x~p!1),b(x!1))
  6. %init: 10*(a(x~p!1),d(x!1))