1 files changed, 25 insertions, 0 deletions
diff --git a/Assignment2/src/DTMC.dcl b/Assignment2/src/DTMC.dcl
new file mode 100644
index 0000000..9d3e999
--- /dev/null
+++ b/Assignment2/src/DTMC.dcl
@@ -0,0 +1,25 @@
+definition module DTMC
+
+from System.FilePath import :: FilePath
+
+:: DTMC =
+	{ nr_states :: !Int
+	, states    :: !{State}
+	}
+
+:: State =
+	{ actions  :: ![Action]
+	, init     :: !Bool
+	}
+
+:: Action =
+	{ action_id   :: !Int
+	, transitions :: ![Transition]
+	}
+
+:: Transition =
+	{ to_state    :: !Int
+	, probability :: !String
+	}
+
+parseDTMC :: !FilePath !*World -> *(!DTMC, !*World)