storm::solver::helper::gviinternal Namespace Reference

Classes
class	IterationHelper

Typedefs
typedef uint64_t	IndexType

Enumerations
enum class	VerifyResult { Verified , Converged , Unverified }

Typedef Documentation

IndexType

typedef uint64_t storm::solver::helper::gviinternal::IndexType

Definition at line 22 of file GuessingValueIterationHelper.h.

Enumeration Type Documentation

VerifyResult

enum class storm::solver::helper::gviinternal::VerifyResult

strong

Enumerator
Verified
Converged
Unverified

Definition at line 23 of file GuessingValueIterationHelper.h.