diff options
Diffstat (limited to 'Assignment2/src/DTMC.dcl')
| -rw-r--r-- | Assignment2/src/DTMC.dcl | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/Assignment2/src/DTMC.dcl b/Assignment2/src/DTMC.dcl index 5b491ae..b663431 100644 --- a/Assignment2/src/DTMC.dcl +++ b/Assignment2/src/DTMC.dcl @@ -5,8 +5,9 @@ from Data.Maybe import :: Maybe from System.FilePath import :: FilePath :: *DTMC = - { nr_states :: !Int - , states :: !*{Maybe State} + { nr_states :: !Int + , parameters :: ![String] + , states :: !*{Maybe State} } :: State = @@ -22,4 +23,10 @@ from System.FilePath import :: FilePath stateElimination :: !*DTMC -> *DTMC parseDTMC :: !FilePath !*World -> *(!*DTMC, !*World) printDTMC :: !*DTMC -> *(!String, !*DTMC) -addVars :: *DTMC -> *DTMC +addVars :: !*DTMC -> *DTMC + +:: RepairConfig = + { totality_restrictions :: ![String] + } + +repairConfig :: !*DTMC -> *(!RepairConfig, !*DTMC) |