diff options
| author | Camil Staps | 2018-07-06 11:53:59 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-06 11:53:59 +0200 |
| commit | b498d217147b389fcca2832dff66c45be370e95c (patch) | |
| tree | 02d36afc0ef3883a9f8ba7f4e60860cf17b41510 /Assignment2/src/DTMC.dcl | |
| parent | Avoid beauty (diff) | |
| parent | Start collecting properties (diff) | |
Add properties
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) |