From e65a099948b82cd09bd4726a6c17ed6e2944ec80 Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Thu, 23 Jun 2016 17:16:02 +0200 Subject: [PATCH] Fixes a bug in my Bollig implementation --- src/Bollig.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Bollig.hs b/src/Bollig.hs index a4c783c..a59636b 100644 --- a/src/Bollig.hs +++ b/src/Bollig.hs @@ -60,7 +60,7 @@ rfsaConsistencyTest State{..} = case solve (isEmpty defect) of Nothing -> trace "@@@ Unsolved Formula (rfsaConsistencyTest) @@@" $ Failed empty defect where - candidates = pairsWithFilter (\u1 u2 -> maybeIf (row t u1 `sublang` row t u2) (u1, u2)) ss ss + candidates = pairsWithFilter (\u1 u2 -> maybeIf (row t u2 `sublang` row t u1) (u1, u2)) ss ss defect = triplesWithFilter (\(u1, u2) a v -> maybeIf (not (tableAt t (u1 ++ [a]) v) /\ tableAt t (u2++[a]) v) (a:v)) candidates aa ee constructHypothesisBollig :: NominalType i => State i -> Automaton (BRow i) i