Storm 1.10.0.1
A Modern Probabilistic Model Checker
|
Classes | |
class | IterationHelper |
Typedefs | |
typedef uint64_t | IndexType |
Enumerations | |
enum class | VerifyResult { Verified , Converged , Unverified } |
typedef uint64_t storm::solver::helper::gviinternal::IndexType |
Definition at line 22 of file GuessingValueIterationHelper.h.
|
strong |
Enumerator | |
---|---|
Verified | |
Converged | |
Unverified |
Definition at line 23 of file GuessingValueIterationHelper.h.