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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
implementation module DTMC
import StdArray
import StdBool
import StdClass
import StdFile
from StdFunc import o
import StdInt
import StdList
import StdString
import StdTuple
import Data.Error
from Data.Func import $, seqSt
import Data.List
import qualified Data.Map as M
from Data.Map import :: Map
import Data.Maybe
import System.File
import System.FilePath
import Text
parseDTMC :: !FilePath !*World -> *(!DTMC, !*World)
parseDTMC fp w
# (lines,w) = readFileLines fp w
= (parseDTMCFromLines [s % (0,size s-2) \\ s <- fromOk lines], w)
parseDTMCFromLines :: ![String] -> DTMC
parseDTMCFromLines lines
# [nr_states:_:lines] = tl $ dropWhile ((<>) "@nr_states") lines
# states = map parseState $ groupLines "\t" [] lines
=
{ nr_states = toInt nr_states
, states = {Just s \\ s <- states}
}
where
parseState :: ![String] -> State
parseState [head:actions] =
{ state_id = toInt $ trim $ head % (5,size head-1)
, transitions = 'M'.unions $ map (snd o parseAction) $ groupLines "\t\t" [] actions
, init = endsWith "init" head
}
where
parseAction :: ![String] -> (!Int, !Map Int String)
parseAction [head:transitions] =
( toInt (head % (8, size head-1))
, 'M'.fromList $ map parseTransition transitions
)
where
parseTransition :: !String -> (!Int, !String)
parseTransition s = case split " : " (trim s) of
[id:prob:_] -> (toInt id, prob)
groupLines :: !String ![String] ![String] -> [[String]]
groupLines head current [] = [reverse current]
groupLines head current [line:lines]
| startsWith head line = groupLines head [line:current] lines
| isEmpty current = groupLines head [line] lines
| otherwise = [reverse current:groupLines head [line] lines]
Start w
# (dtmc,w) = parseDTMC "die.drn" w
= stateElimination dtmc
|
