Storm
A Modern Probabilistic Model Checker
|
#include <TerminationCondition.h>
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. | |
![]() | |
virtual | ~TerminationCondition ()=default |
virtual bool | terminateNow (std::vector< ValueType > const ¤tValues, SolverGuarantee const &guarantee=SolverGuarantee::None) const |
Retrieves whether the guarantee provided by the solver for the current result is sufficient to terminate. | |
Definition at line 29 of file TerminationCondition.h.
|
overridevirtual |
Retrieves whether the termination criterion requires the given guarantee in order to decide termination.
Implements storm::solver::TerminationCondition< ValueType >.
Definition at line 23 of file TerminationCondition.cpp.
|
overridevirtual |
Implements storm::solver::TerminationCondition< ValueType >.
Definition at line 18 of file TerminationCondition.cpp.