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

http://github.com/kappamodeler/jkappa · Unknown · 6 lines · 4 code · 2 blank · 0 comment · 0 complexity · 4cd0f4e9a29bd1ddba04fbe60ec9c7a0 MD5 · raw file 

    

  1. a(b!1,c!2,d!3,e!4),b(a!1,c,d!5,e),c(a!2,b,d,e!6),d(a!3,b!5,c,e),e(a!4,b,c!6,d)->a(b!1,c!2,d!3,e!4),b(a!1,c,d,e),c(a!2,b,d,e),d(a!3,b,c,e),e(a!4,b,c,d)

    2. 

  2. a(b!1,c!2,d!3,e!4),b(a!1,c,d!6,e),c(a!2,b,d,e!5),d(a!3,b!5,c,e),e(a!4,b,c!6,d)->a(b!1,c!2,d!3,e!4),b(a!1,c,d,e),c(a!2,b,d,e),d(a!3,b,c,e),e(a!4,b,c,d)

    3. 

  3. 

    4. 

  4. #%init: 10*(a(b!1,c!2,d!3,e!4),b(a!1,c,d!6,e),c(a!2,b,d,e!5),d(a!3,b!5,c,e),e(a!4,b,c!6,d))

    5. 

  5. #%init: 10*(a(b!1,c!2,d!3,e!4),b(a!1,c,d!5,e),c(a!2,b,d,e!6),d(a!3,b!5,c,e),e(a!4,b,c!6,d))
    6.