Classes
struct	BeliefExplorationPomdpModelCheckerOptions
struct	POMDPValueBounds
	Structure for storing values on the POMDP used for cut-offs and clipping. More...
class	BeliefExplorationPomdpModelChecker
	Model checker for checking reachability queries on POMDPs using approximations based on exploration of the belief MDP. More...
class	PreprocessingPomdpValueBoundsModelChecker

Functions
template<typename ValueType>
ValueType	getGap (ValueType const &l, ValueType const &u)

Function Documentation

◆ getGap()

template<typename ValueType>

ValueType storm::pomdp::modelchecker::getGap	(	ValueType const &	l,
		ValueType const &	u )