Commit 251d80c3 authored by Philipp Meyer's avatar Philipp Meyer

Update pp-print program

parent ee40c179
...@@ -21,6 +21,7 @@ executable pp-print ...@@ -21,6 +21,7 @@ executable pp-print
main-is: Main.hs main-is: Main.hs
other-modules: other-modules:
-- other-extensions: -- other-extensions:
build-depends: multiset, base >= 4.8, containers, aeson, aeson-pretty, bytestring build-depends: base >= 4.8, containers, aeson, aeson-pretty, bytestring
hs-source-dirs: src hs-source-dirs: src
default-language: Haskell2010 default-language: Haskell2010
ghc-options: -dynamic
module PopulationProtocol ( PopulationProtocol (..) module PopulationProtocol ( PopulationProtocol (..)
, Population
, createModuloProtocol , createModuloProtocol
, createThresholdProtocol , createThresholdProtocol
, createOldThresholdProtocol , createOldThresholdProtocol
...@@ -18,7 +17,6 @@ module PopulationProtocol ( PopulationProtocol (..) ...@@ -18,7 +17,6 @@ module PopulationProtocol ( PopulationProtocol (..)
import Util import Util
import qualified Data.Set as S import qualified Data.Set as S
import qualified Data.MultiSet as MS
import qualified Data.Map.Strict as M import qualified Data.Map.Strict as M
import Data.Tuple (swap) import Data.Tuple (swap)
import Data.List (intercalate, nub) import Data.List (intercalate, nub)
...@@ -47,8 +45,6 @@ type FlockOfBirdsProtocol = PopulationProtocol Int ...@@ -47,8 +45,6 @@ type FlockOfBirdsProtocol = PopulationProtocol Int
type VerifiableFlockOfBirdsProtocol = PopulationProtocol (Bool, Int) type VerifiableFlockOfBirdsProtocol = PopulationProtocol (Bool, Int)
type Population qs = MS.MultiSet qs
data ThresholdState = Neg Int | Pos Int | BiasPos Int | Passive Bool deriving (Ord, Eq, Show) data ThresholdState = Neg Int | Pos Int | BiasPos Int | Passive Bool deriving (Ord, Eq, Show)
data SimpleState = L Int | NL Int deriving (Ord, Eq, Show) data SimpleState = L Int | NL Int deriving (Ord, Eq, Show)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment