Commit 50f66913 authored by Stefan Jaax's avatar Stefan Jaax

Fix parser

parent 2e4a81db
......@@ -174,8 +174,9 @@ recordPP2PopulationProtocol :: RecordPP -> PopulationProtocol
recordPP2PopulationProtocol r =
makePopulationProtocolFromStrings (title r) (states r) (map name (transitions r)) (initialStates r) (trueStates r) falseStates p arcs where
falseStates = [q | q <- states r, not (S.member q (S.fromList (trueStates r)))]
count = \x -> length . (filter (== x))
arcs = [(name t, q, toInteger m) | t <- transitions r, q <- (pre t ++ post t), let m = (count q) (post t) - (count q) (pre t)]
count = \x -> fromIntegral . length . (filter (== x))
arcs = [(q, name t, (count q) (pre t)) | t <- transitions r, q <- pre t] ++
[(name t, q, (count q) (post t)) | t <- transitions r, q <- post t]
p = case predicate r of Nothing -> ExQuantFormula [] FTrue
(Just p') -> p'
......
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