diff options
| author | Camil Staps | 2018-07-05 14:55:01 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-05 14:55:01 +0200 |
| commit | 9044d3dfce7de28de6a996f22ffbe8ff69e236b7 (patch) | |
| tree | 69049481dee9056955f5ddb71bab4506e362f3b1 /Assignment2/src/DTMC.dcl | |
| parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking (diff) | |
New DTMC structure
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) |