diff options
Diffstat (limited to 'Assignment2/src/DTMC.dcl')
| -rw-r--r-- | Assignment2/src/DTMC.dcl | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Assignment2/src/DTMC.dcl b/Assignment2/src/DTMC.dcl index b663431..e7d0a78 100644 --- a/Assignment2/src/DTMC.dcl +++ b/Assignment2/src/DTMC.dcl @@ -4,6 +4,8 @@ from Data.Map import :: Map from Data.Maybe import :: Maybe from System.FilePath import :: FilePath +from StdOverloaded import class toString + :: *DTMC = { nr_states :: !Int , parameters :: ![String] @@ -16,9 +18,12 @@ from System.FilePath import :: FilePath , init :: !Bool } +:: Op = LT | EQ | GT +instance toString Op + // Note that state_id must be an absorbing state -// (Probability, state_id) -:: Property :== (Real, Int) +// (Operator, Probability, state_id) +:: Property :== (Op, Real, Int) stateElimination :: !*DTMC -> *DTMC parseDTMC :: !FilePath !*World -> *(!*DTMC, !*World) |