From 8477ee9d3f5c92ee28c13f8be0834bdf01ff4cf4 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Mon, 9 Feb 2009 13:17:22 +0000 Subject: [PATCH] Added support for Or and NotEq in the BK --- checks/Check.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/checks/Check.hs b/checks/Check.hs index 54984d6..558e3b3 100644 --- a/checks/Check.hs +++ b/checks/Check.hs @@ -129,12 +129,14 @@ addBK mp mp2 g nid n = fmap ((,) $ followBK (map (keepDefined . Map.fromListWith r = g rhs in if null l || null r then l ++ r else [a ++ b | a <- l, b <- r] + | op == A.Or = g lhs ++ g rhs | 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 + | op == A.NotEq = [[LessThanOrEqual (addOne lhs) rhs] + ,[LessThanOrEqual (addOne rhs) lhs]] g _ = [] conBK :: [[(Var, [BackgroundKnowledge])]]