Storm
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::solver::NoTerminationCondition< ValueType >, including all inherited members.
requiresGuarantee(SolverGuarantee const &guarantee) const override | storm::solver::NoTerminationCondition< ValueType > | virtual |
terminateNow(std::function< ValueType(uint64_t const &)> const &valueGetter, SolverGuarantee const &guarantee=SolverGuarantee::None) const override | storm::solver::NoTerminationCondition< ValueType > | virtual |
storm::solver::TerminationCondition::terminateNow(std::vector< ValueType > const ¤tValues, SolverGuarantee const &guarantee=SolverGuarantee::None) const | storm::solver::TerminationCondition< ValueType > | virtual |
~TerminationCondition()=default | storm::solver::TerminationCondition< ValueType > | virtual |