Gecode::CRI Class Reference

Current restart information during search. More...

#include <core.hpp>

List of all members.

Public Member Functions
	CRI (unsigned long int r, unsigned long int s, unsigned long int f, const Space *l, NoGoods &ng)
	Constructor.
unsigned long int	restart (void) const
	Return number of restarts.
unsigned long int	solution (void) const
	Return number of solutions since last restart.
unsigned long int	fail (void) const
	Return number of failures since last restart.
const Space *	last (void) const
	Return last solution found (possibly NULL).
const NoGoods &	nogoods (void) const
	Return no-goods recorded from restart.
Protected Attributes
const unsigned long int	r
	Number of restarts.
const unsigned long int	s
	Number of solutions since last restart.
const unsigned long int	f
	Number of failures since last restart.
const Space *	l
	Last solution found.
const NoGoods &	ng
	No-goods from restart.

---

Detailed Description

Current restart information during search.

Definition at line 1265 of file core.hpp.

---

Constructor & Destructor Documentation

Gecode::CRI::CRI	(	unsigned long int	r,
		unsigned long int	s,
		unsigned long int	f,
		const Space *	l,
		NoGoods &	ng
	)			[inline]

Constructor.

Definition at line 2701 of file core.hpp.

---

Member Function Documentation

unsigned long int Gecode::CRI::restart

(

void

)

const [inline]

Return number of restarts.

Definition at line 2709 of file core.hpp.

unsigned long int Gecode::CRI::solution

(

void

)

const [inline]

Return number of solutions since last restart.

Definition at line 2713 of file core.hpp.

unsigned long int Gecode::CRI::fail

(

void

)

const [inline]

Return number of failures since last restart.

Definition at line 2717 of file core.hpp.

const Space * Gecode::CRI::last

(

void

)

const [inline]

Return last solution found (possibly NULL).

Definition at line 2721 of file core.hpp.

const NoGoods & Gecode::CRI::nogoods

(

void

)

const [inline]

Return no-goods recorded from restart.

Definition at line 2725 of file core.hpp.

---

Member Data Documentation

const unsigned long int Gecode::CRI::r [protected]

Number of restarts.

Definition at line 1268 of file core.hpp.

const unsigned long int Gecode::CRI::s [protected]

Number of solutions since last restart.

Definition at line 1270 of file core.hpp.

const unsigned long int Gecode::CRI::f [protected]

Number of failures since last restart.

Definition at line 1272 of file core.hpp.

const Space* Gecode::CRI::l [protected]

Last solution found.

Definition at line 1274 of file core.hpp.

const NoGoods& Gecode::CRI::ng [protected]

No-goods from restart.

Definition at line 1276 of file core.hpp.

---

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

• gecode/kernel/core.hpp (Revision: 14471)