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

Discovered that the problem with my latest test was that strictly less/more than were not being converted into BK (now fixed)

Browse Source
This commit is contained in:
Neil Brown 2009-02-05 16:42:50 +00:00
parent 571815c571
commit 6d8c195c22
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
checks/Check.hs
View File

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