suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added support for Or and NotEq in the BK

Browse Source
This commit is contained in:
Neil Brown 2009-02-09 13:17:22 +00:00
parent 9e0b802829
commit 8477ee9d3f
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
checks/Check.hs
View File

@ -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])]]