storm::solver::TerminationCondition< ValueType > Member List

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

requiresGuarantee(SolverGuarantee const &guarantee) const =0	storm::solver::TerminationCondition< ValueType >	pure virtual
terminateNow(std::vector< ValueType > const &currentValues, SolverGuarantee const &guarantee=SolverGuarantee::None) const	storm::solver::TerminationCondition< ValueType >	virtual
terminateNow(std::function< ValueType(uint64_t const &)> const &valueGetter, SolverGuarantee const &guarantee=SolverGuarantee::None) const =0	storm::solver::TerminationCondition< ValueType >	pure virtual
~TerminationCondition()=default	storm::solver::TerminationCondition< ValueType >	virtual