Commit e3bce867 authored by Stefan Jaax's avatar Stefan Jaax

Fix bug in construction of arcs

parent 36ab546f
......@@ -175,9 +175,8 @@ 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 -> 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]
arcs = [(q, name t, 1) | t <- transitions r, q <- pre t] ++
[(name t, q, 1) | 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