From 6d8c195c2288028fc0e38c76985a8498fc3a3e9e Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Thu, 5 Feb 2009 16:42:50 +0000 Subject: [PATCH] Discovered that the problem with my latest test was that strictly less/more than were not being converted into BK (now fixed) --- checks/Check.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/checks/Check.hs b/checks/Check.hs index 5723eca..fccef76 100644 --- a/checks/Check.hs +++ b/checks/Check.hs @@ -99,6 +99,9 @@ addBK mp mp2 g nid n = fmap ((,) $ (map (Map.fromListWith (++)) $ productN $ con | op == A.Eq = [Equal lhs rhs] | op == A.LessEq = [LessThanOrEqual lhs rhs] | op == A.MoreEq = [LessThanOrEqual rhs lhs] + | op == A.Less = [LessThanOrEqual (addOne lhs) rhs] + | op == A.More = [LessThanOrEqual (addOne rhs) lhs] + -- TODO add support for OR, and NOT-EQUAL g _ = [] conBK :: [[(Var, [BackgroundKnowledge])]]