Commit d1dbb592 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢
Browse files

Actually distinguish transitions with different label

parent 2a70ff9f

src/prism-converter/lib/Mdp/Mcrl2.hs

+2 −1
Original line number Diff line number Diff line
@@ -20,6 +20,7 @@ module Mdp.Mcrl2 
  ) where



import           Data.Ord

import           Control.Arrow                  ((&&&))



import           Lens.Micro.Platform

import           Data.Vector                    ( Vector )
@@ -77,7 +78,7 @@ convertToMcrl mdp = Mcrl2Mdp (mdp ^. numStates) (convertTransitionsToMcrl (mdp^. 




convertTransitionsToMcrl :: Vector Transition -> Vector Mcrl2Transition

convertTransitionsToMcrl trans = mkMcrl2Tans <$> partitionVector (view source) sorted

convertTransitionsToMcrl trans = mkMcrl2Tans <$> partitionVector (view source &&& view choice) sorted

  where

    sorted = V.create $ do

      v <- V.thaw trans -- TODO Maybe use unsafe thaw