diff options
| author | Erin van der Veen | 2018-07-05 20:15:53 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-07-05 20:15:53 +0200 |
| commit | 1d5baa0a131e0fc36346db2bf92b1063d4403e6c (patch) | |
| tree | 45fbbedd9e25dcb23a021dcdaa5091d3f8056afa /Assignment2 | |
| parent | Whoops (diff) | |
Make variables start with a v
Diffstat (limited to 'Assignment2')
| -rw-r--r-- | Assignment2/src/DTMC.icl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Assignment2/src/DTMC.icl b/Assignment2/src/DTMC.icl index 9f1e938..2d7a68f 100644 --- a/Assignment2/src/DTMC.icl +++ b/Assignment2/src/DTMC.icl @@ -182,8 +182,9 @@ where addVar :: Int Int (Maybe String) -> Maybe String addVar _ _ Nothing = Nothing - addVar f t (Just fn) = Just ("((" <+ fn <+ ") + " <+ f <+ "_" <+ t <+ ")") + addVar f t (Just fn) = Just ("((" <+ fn <+ ") + v" <+ f <+ "_" <+ t <+ ")") Start w # (dtmc,w) = parseDTMC "die.drn" w +# dtmc = addVars dtmc = [(s.state_id, 'M'.toList s.transitions, '\n') \\ Just s <-: (stateElimination dtmc).states] |