Generated on Thu Mar 22 10:39:52 2012 for Gecode by doxygen 1.6.3

Radiotherapy::NestedSearch Class Reference

Nested search on the q variables. More...

List of all members.

Public Member Functions

virtual bool status (const Space &) const
 Check status of brancher, return true if alternatives left.
IntVarArgs getRow (Radiotherapy *row, int i)
virtual Gecode::Choicechoice (Space &home)
 Return choice.
virtual Choice * choice (const Space &, Archive &e)
 Return choice from e.
virtual ExecStatus commit (Space &, const Gecode::Choice &_c, unsigned int)
 Commit for choice c and alternative a.
virtual Actorcopy (Space &home, bool share)
 Copy brancher.
size_t dispose (Space &home)
 Dispose member function.

Static Public Member Functions

static void post (Home home)
 Post brancher.

Detailed Description

Nested search on the q variables.

Definition at line 207 of file radiotherapy.cpp.


Member Function Documentation

virtual bool Radiotherapy::NestedSearch::status ( const Space home  )  const [inline, virtual]

Check status of brancher, return true if alternatives left.

This method is called when Space::status is called, it determines whether to continue branching with this brancher or move on to the (possibly) next brancher.

Implements Gecode::Brancher.

Definition at line 263 of file radiotherapy.cpp.

IntVarArgs Radiotherapy::NestedSearch::getRow ( Radiotherapy row,
int  i 
) [inline]

Definition at line 267 of file radiotherapy.cpp.

virtual Gecode::Choice* Radiotherapy::NestedSearch::choice ( Space home  )  [inline, virtual]

Return choice.

Note that this method relies on the fact that it is called immediately after a previous call to status. Moreover, the member function can only be called once.

Implements Gecode::Brancher.

Definition at line 278 of file radiotherapy.cpp.

virtual Choice* Radiotherapy::NestedSearch::choice ( const Space home,
Archive e 
) [inline, virtual]

Return choice from e.

Implements Gecode::Brancher.

Definition at line 310 of file radiotherapy.cpp.

virtual ExecStatus Radiotherapy::NestedSearch::commit ( Space home,
const Gecode::Choice c,
unsigned  a 
) [inline, virtual]

Commit for choice c and alternative a.

The current brancher in the space home performs a commit from the information provided by the choice c and the alternative a.

Implements Gecode::Brancher.

Definition at line 314 of file radiotherapy.cpp.

virtual Actor* Radiotherapy::NestedSearch::copy ( Space home,
bool  share 
) [inline, virtual]

Copy brancher.

Implements Gecode::Actor.

Definition at line 318 of file radiotherapy.cpp.

static void Radiotherapy::NestedSearch::post ( Home  home  )  [inline, static]

Post brancher.

Definition at line 322 of file radiotherapy.cpp.

size_t Radiotherapy::NestedSearch::dispose ( Space home  )  [inline, virtual]

Dispose member function.

Reimplemented from Gecode::Actor.

Definition at line 326 of file radiotherapy.cpp.


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