Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::solver::helper::gviinternal Namespace Reference

Classes

class  IterationHelper
 

Typedefs

typedef uint64_t IndexType
 

Enumerations

enum class  VerifyResult { Verified , Converged , Unverified }
 

Typedef Documentation

◆ IndexType

Enumeration Type Documentation

◆ VerifyResult

Enumerator
Verified 
Converged 
Unverified 

Definition at line 23 of file GuessingValueIterationHelper.h.