Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::solver::NoTerminationCondition< ValueType > Member List

This is the complete list of members for storm::solver::NoTerminationCondition< ValueType >, including all inherited members.

requiresGuarantee(SolverGuarantee const &guarantee) const overridestorm::solver::NoTerminationCondition< ValueType >virtual
terminateNow(std::function< ValueType(uint64_t const &)> const &valueGetter, SolverGuarantee const &guarantee=SolverGuarantee::None) const overridestorm::solver::NoTerminationCondition< ValueType >virtual
storm::solver::TerminationCondition::terminateNow(std::vector< ValueType > const &currentValues, SolverGuarantee const &guarantee=SolverGuarantee::None) conststorm::solver::TerminationCondition< ValueType >virtual
~TerminationCondition()=defaultstorm::solver::TerminationCondition< ValueType >virtual