Generated on Sat Feb 7 2015 02:01:39 for Gecode by doxygen 1.8.9.1
Gecode::CRI Class Reference

Current restart information during search. More...

#include <core.hpp>

Public Member Functions

 CRI (unsigned long int r, unsigned long int s, unsigned long int f, const Space *l, NoGoods &ng)
 Constructor. More...
 
unsigned long int restart (void) const
 Return number of restarts. More...
 
unsigned long int solution (void) const
 Return number of solutions since last restart. More...
 
unsigned long int fail (void) const
 Return number of failures since last restart. More...
 
const Spacelast (void) const
 Return last solution found (possibly NULL) More...
 
const NoGoodsnogoods (void) const
 Return no-goods recorded from restart. More...
 

Protected Attributes

const unsigned long int r
 Number of restarts. More...
 
const unsigned long int s
 Number of solutions since last restart. More...
 
const unsigned long int f
 Number of failures since last restart. More...
 
const Spacel
 Last solution found. More...
 
const NoGoodsng
 No-goods from restart. More...
 

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: