Use modulos operation in remainder protocol

76fa0232 · Philipp Meyer · e6106f86 · 76fa0232
Commit 76fa0232 authored Aug 06, 2018 by Philipp Meyer
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

benchmarks/pp-print/src/PopulationProtocol.hs benchmarks/pp-print/src/PopulationProtocol.hs +2 -2

No files found.
--- a/benchmarks/pp-print/src/PopulationProtocol.hs
+++ b/benchmarks/pp-print/src/PopulationProtocol.hs
@@ -279,9 +279,9 @@ createModuloProtocol n c = PopulationProtocol { states = [Mod i | i <- [0..(n-1)
    modOpinion (Mod a) = a == c
    modOpinion (ModPassive b) = b

-    modPredicate = "EXISTS k : " ++
+    modPredicate = "( " ++
                    (intercalate " + " [ show i ++ " * " ++ toVar (Mod i) | i <- [0..(n-1)] ]) ++
-                    " = " ++ show c ++ " + " ++ show n ++ " * k"
+                    " ) % " ++ show n ++ " = " ++ show c


 createMajorityProtocol :: MajorityProtocol