summaryrefslogtreecommitdiff
path: root/Assignment2/src/DTMC.dcl
diff options
context:
space:
mode:
authorErin van der Veen2018-07-06 13:40:19 +0200
committerErin van der Veen2018-07-06 13:40:19 +0200
commit1b7dac92022193b4b051046d5d00fb9c1ee9ade0 (patch)
tree08fc8e1e0fee3e3efeeafc3c4e74a7d51aa8e540 /Assignment2/src/DTMC.dcl
parentReword totality constraint, add producing model to enumeration (diff)
parentAdd properties to make transition probabilities remain in [0,1] (diff)
Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking
Diffstat (limited to 'Assignment2/src/DTMC.dcl')
-rw-r--r--Assignment2/src/DTMC.dcl3
1 files changed, 2 insertions, 1 deletions
diff --git a/Assignment2/src/DTMC.dcl b/Assignment2/src/DTMC.dcl
index 233739b..98ef581 100644
--- a/Assignment2/src/DTMC.dcl
+++ b/Assignment2/src/DTMC.dcl
@@ -33,7 +33,8 @@ printDTMC :: !*DTMC -> *(!String, !*DTMC)
addVars :: !*DTMC -> *DTMC
:: RepairConfig =
- { totality_restrictions :: ![String]
+ { totality_restrictions :: ![String]
+ , transition_restrictions :: ![String]
}
repairConfig :: !*DTMC -> *(!RepairConfig, !*DTMC)