storm::solver::TerminationCondition< ValueType > Class Template Reference

#include <TerminationCondition.h>

Inheritance diagram for storm::solver::TerminationCondition< ValueType >:

Public Member Functions
virtual	~TerminationCondition ()=default
virtual bool	terminateNow (std::vector< ValueType > const &currentValues, SolverGuarantee const &guarantee=SolverGuarantee::None) const
	Retrieves whether the guarantee provided by the solver for the current result is sufficient to terminate.
virtual bool	terminateNow (std::function< ValueType(uint64_t const &)> const &valueGetter, SolverGuarantee const &guarantee=SolverGuarantee::None) const =0
virtual bool	requiresGuarantee (SolverGuarantee const &guarantee) const =0
	Retrieves whether the termination criterion requires the given guarantee in order to decide termination.

Detailed Description

template<typename ValueType>
class storm::solver::TerminationCondition< ValueType >

Definition at line 11 of file TerminationCondition.h.

Constructor & Destructor Documentation

~TerminationCondition()

template<typename ValueType >

virtual storm::solver::TerminationCondition< ValueType >::~TerminationCondition ( )

virtualdefault

Member Function Documentation

requiresGuarantee()

template<typename ValueType >

virtual bool storm::solver::TerminationCondition< ValueType >::requiresGuarantee ( SolverGuarantee const &  guarantee ) const

pure virtual

Retrieves whether the termination criterion requires the given guarantee in order to decide termination.

Returns

Implemented in storm::derivative::SignedGradientDescentTerminationCondition< ValueType >, storm::solver::NoTerminationCondition< ValueType >, storm::solver::TerminateIfFilteredSumExceedsThreshold< ValueType >, storm::solver::TerminateIfFilteredExtremumExceedsThreshold< ValueType >, and storm::solver::TerminateIfFilteredExtremumBelowThreshold< ValueType >.

terminateNow() [1/2]

template<typename ValueType >

virtual bool storm::solver::TerminationCondition< ValueType >::terminateNow ( std::function< ValueType(uint64_t const &)> const &  valueGetter, SolverGuarantee const &  guarantee = SolverGuarantee::None  ) const

pure virtual

Implemented in storm::derivative::SignedGradientDescentTerminationCondition< ValueType >, storm::solver::NoTerminationCondition< ValueType >, storm::solver::TerminateIfFilteredSumExceedsThreshold< ValueType >, storm::solver::TerminateIfFilteredExtremumExceedsThreshold< ValueType >, and storm::solver::TerminateIfFilteredExtremumBelowThreshold< ValueType >.

terminateNow() [2/2]

template<typename ValueType >

bool storm::solver::TerminationCondition< ValueType >::terminateNow ( std::vector< ValueType > const &  currentValues, SolverGuarantee const &  guarantee = SolverGuarantee::None  ) const

virtual

Retrieves whether the guarantee provided by the solver for the current result is sufficient to terminate.

Definition at line 13 of file TerminationCondition.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/solver/TerminationCondition.h
• src/storm/solver/TerminationCondition.cpp