Public Member Functions
	FlatZincStop (Search::Stop *stop_object0, const BlackBoxContextHandle &black_box_context0)
bool	stop (const Search::Statistics &s, const Search::Options &o) override
	Stop search, if returns true.
	Stop (void)
	Default constructor.
virtual	~Stop (void)
	Destructor.

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

Definition at line 1753 of file flatzinc.cpp.

Constructor & Destructor Documentation

Gecode::FlatZinc::FlatZincStop::FlatZincStop	(	Search::Stop *	stop_object0,
		const BlackBoxContextHandle &	black_box_context0 )

inline

Definition at line 1758 of file flatzinc.cpp.

bool Gecode::FlatZinc::FlatZincStop::stop	(	const Search::Statistics &	s,
		const Search::Options &	o )

inlineoverridevirtual

Stop search, if returns true.

Definition at line 1761 of file flatzinc.cpp.

std::unique_ptr<Search::Stop> Gecode::FlatZinc::FlatZincStop::stop_object

protected

Definition at line 1755 of file flatzinc.cpp.

BlackBoxContextHandle Gecode::FlatZinc::FlatZincStop::black_box_context

protected

Definition at line 1756 of file flatzinc.cpp.

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