Gecode::Search::FailStop Class Reference

Stop-object based on number of failures More...

#include <gecode/search.hh>

Public Member Functions
	FailStop (unsigned long long int l)
	Stop if failure limit l is exceeded.
	FailStop (const FailStop &s)
	Copy constructor.
FailStop &	operator= (const FailStop &s)
	Assignment operator.
unsigned long long int	limit (void) const
	Return current limit.
void	limit (unsigned long long int l)
	Set current limit to l failures.
virtual bool	stop (const Statistics &s, const Options &o)
	Return true if failure limit is exceeded.
	Stop (void)
	Default constructor.
virtual	~Stop (void)
	Destructor.

Protected Attributes
std::atomic< unsigned long long int >	l
	Failure limit.

Additional Inherited Members
static Stop *	node (unsigned long long int l)
	Stop if node limit l has been exceeded.
static Stop *	fail (unsigned long long int l)
	Stop if failure limit l has been exceeded.
static Stop *	time (double l)
	Stop if time limit l (in milliseconds) has been exceeded.
static Stop *	restart (unsigned long long int l)
	Stop if restart limit l has been exceeded.
Static Public Member Functions inherited from Gecode::HeapAllocated
static void *	operator new (size_t s)
	Memory management.
static void	operator delete (void *p)
	Free memory allocated from heap.

Detailed Description

Stop-object based on number of failures

The number of failures reported (by the statistics) is the number since the engine started exploration. It is not the number since the last stop!

Definition at line 863 of file search.hh.

Constructor & Destructor Documentation

FailStop() [1/2]

Gecode::Search::FailStop::FailStop ( unsigned long long int l )

inline

Stop if failure limit l is exceeded.

Definition at line 83 of file stop.hpp.

FailStop() [2/2]

Gecode::Search::FailStop::FailStop ( const FailStop & s )

inline

Copy constructor.

Definition at line 85 of file stop.hpp.

Member Function Documentation

operator=()

FailStop & Gecode::Search::FailStop::operator= ( const FailStop & s )

inline

Assignment operator.

Definition at line 87 of file stop.hpp.

limit() [1/2]

unsigned long long int Gecode::Search::FailStop::limit ( void ) const

inline

Return current limit.

Definition at line 94 of file stop.hpp.

limit() [2/2]

void Gecode::Search::FailStop::limit ( unsigned long long int l )

inline

Set current limit to l failures.

Definition at line 99 of file stop.hpp.

stop()

virtual bool Gecode::Search::FailStop::stop ( const Statistics & s, const Options & o )

virtual

Return true if failure limit is exceeded.

Implements Gecode::Search::Stop.

Member Data Documentation

l

std::atomic<unsigned long long int> Gecode::Search::FailStop::l

protected

Failure limit.

Definition at line 866 of file search.hh.

---

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

• gecode/search.hh
• gecode/search/stop.hpp