Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
storm::solver::NoTerminationCondition< ValueType > Class Template Reference

#include <TerminationCondition.h>

Inheritance diagram for storm::solver::NoTerminationCondition< ValueType >:
Collaboration diagram for storm::solver::NoTerminationCondition< ValueType >:

Public Member Functions

virtual bool terminateNow (std::function< ValueType(uint64_t const &)> const &valueGetter, SolverGuarantee const &guarantee=SolverGuarantee::None) const override
 
virtual bool requiresGuarantee (SolverGuarantee const &guarantee) const override
 Retrieves whether the termination criterion requires the given guarantee in order to decide termination.
 
- Public Member Functions inherited from storm::solver::TerminationCondition< ValueType >
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.
 

Detailed Description

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

Definition at line 29 of file TerminationCondition.h.

Member Function Documentation

◆ requiresGuarantee()

template<typename ValueType >
bool storm::solver::NoTerminationCondition< ValueType >::requiresGuarantee ( SolverGuarantee const &  guarantee) const
overridevirtual

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

Returns

Implements storm::solver::TerminationCondition< ValueType >.

Definition at line 23 of file TerminationCondition.cpp.

◆ terminateNow()

template<typename ValueType >
bool storm::solver::NoTerminationCondition< ValueType >::terminateNow ( std::function< ValueType(uint64_t const &)> const &  valueGetter,
SolverGuarantee const &  guarantee = SolverGuarantee::None 
) const
overridevirtual

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