From 1d5baa0a131e0fc36346db2bf92b1063d4403e6c Mon Sep 17 00:00:00 2001
From: Erin van der Veen
Date: Thu, 5 Jul 2018 20:15:53 +0200
Subject: Make variables start with a v

---
 Assignment2/src/DTMC.icl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Assignment2')

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]
-- 
cgit v1.2.3