diff options
Diffstat (limited to 'Assignment2/src/DTMC.dcl')
-rw-r--r-- | Assignment2/src/DTMC.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Assignment2/src/DTMC.dcl b/Assignment2/src/DTMC.dcl index 04243c4..05145f0 100644 --- a/Assignment2/src/DTMC.dcl +++ b/Assignment2/src/DTMC.dcl @@ -9,6 +9,7 @@ from StdOverloaded import class toString :: *DTMC = { nr_states :: !Int , parameters :: ![String] + , unzero :: ![String] , states :: !*{Maybe State} } |