diff options
Diffstat (limited to 'Assignment2/src/DTMC.dcl')
| -rw-r--r-- | Assignment2/src/DTMC.dcl | 23 |
1 files changed, 8 insertions, 15 deletions
diff --git a/Assignment2/src/DTMC.dcl b/Assignment2/src/DTMC.dcl index 9d3e999..a4cf524 100644 --- a/Assignment2/src/DTMC.dcl +++ b/Assignment2/src/DTMC.dcl @@ -1,25 +1,18 @@ definition module DTMC +from Data.Map import :: Map +from Data.Maybe import :: Maybe from System.FilePath import :: FilePath -:: DTMC = +:: *DTMC = { nr_states :: !Int - , states :: !{State} + , states :: !*{Maybe State} } :: State = - { actions :: ![Action] - , init :: !Bool + { state_id :: !Int + , transitions :: !Map Int String + , init :: !Bool } -:: Action = - { action_id :: !Int - , transitions :: ![Transition] - } - -:: Transition = - { to_state :: !Int - , probability :: !String - } - -parseDTMC :: !FilePath !*World -> *(!DTMC, !*World) +parseDTMC :: !FilePath !*World -> *(!*DTMC, !*World) |