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

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.

Definition at line 23 of file TerminationCondition.cpp.

template<typename ValueType >

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

overridevirtual

Definition at line 18 of file TerminationCondition.cpp.

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