diff options
Diffstat (limited to 'Assignment2/src/DTMC.dcl')
| -rw-r--r-- | Assignment2/src/DTMC.dcl | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Assignment2/src/DTMC.dcl b/Assignment2/src/DTMC.dcl index 26cbe19..c087860 100644 --- a/Assignment2/src/DTMC.dcl +++ b/Assignment2/src/DTMC.dcl @@ -5,8 +5,9 @@ from Data.Maybe import :: Maybe from System.FilePath import :: FilePath :: *DTMC = - { nr_states :: !Int - , states :: !*{Maybe State} + { nr_states :: !Int + , parameters :: ![String] + , states :: !*{Maybe State} } :: State = @@ -18,4 +19,4 @@ from System.FilePath import :: FilePath stateElimination :: !*DTMC -> *DTMC parseDTMC :: !FilePath !*World -> *(!*DTMC, !*World) printDTMC :: !*DTMC -> *(!String, !*DTMC) -addVars :: *DTMC -> *DTMC +addVars :: !*DTMC -> *DTMC |