summaryrefslogtreecommitdiff
path: root/Assignment2/src/DTMC.dcl
diff options
context:
space:
mode:
authorCamil Staps2018-07-05 14:55:01 +0200
committerCamil Staps2018-07-05 14:55:01 +0200
commit9044d3dfce7de28de6a996f22ffbe8ff69e236b7 (patch)
tree69049481dee9056955f5ddb71bab4506e362f3b1 /Assignment2/src/DTMC.dcl
parentMerge 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.dcl23
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)