/test.data/ruleCompressions/model/qualitative/~kappa010.test
Unknown | 6 lines | 4 code | 2 blank | 0 comment | 0 complexity | 4cd0f4e9a29bd1ddba04fbe60ec9c7a0 MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
1a(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) 2a(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 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#%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