Assignment2/src/DTMC.dcl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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)