Gecode::Search::RestartStop Class Reference

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

#include <gecode/search.hh>

Public Member Functions
	RestartStop (unsigned long long int l)
	Stop if restart limit l is exceeded.
	RestartStop (const RestartStop &s)
	Copy constructor.
RestartStop &	operator= (const RestartStop &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 restarts.
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
	Restart 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 restarts

Definition at line 915 of file search.hh.

Constructor & Destructor Documentation

RestartStop() [1/2]

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

inline

Stop if restart limit l is exceeded.

Definition at line 149 of file stop.hpp.

RestartStop() [2/2]

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

inline

Copy constructor.

Definition at line 151 of file stop.hpp.

Member Function Documentation

operator=()

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

inline

Assignment operator.

Definition at line 153 of file stop.hpp.

limit() [1/2]

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

inline

Return current limit.

Definition at line 160 of file stop.hpp.

limit() [2/2]

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

inline

Set current limit to l restarts.

Definition at line 165 of file stop.hpp.

stop()

virtual bool Gecode::Search::RestartStop::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::RestartStop::l

protected

Restart limit.

Definition at line 918 of file search.hh.

---

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

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