Generated on Sat Feb 7 2015 02:01:38 for Gecode by doxygen 1.8.9.1
Radiotherapy::NestedSearch Class Reference

Nested search on the q variables. More...

Public Member Functions

virtual bool status (const Space &) const
 Check status of brancher, return true if alternatives left. More...
 
IntVarArgs getRow (Radiotherapy *row, int i)
 
virtual Gecode::Choicechoice (Space &home)
 Return choice. More...
 
virtual Choicechoice (const Space &, Archive &e)
 Return choice. More...
 
virtual ExecStatus commit (Space &, const Gecode::Choice &_c, unsigned int)
 Perform commit for choice _c and alternative a. More...
 
virtual void print (const Space &, const Gecode::Choice &_c, unsigned int, std::ostream &o) const
 Print explanation. More...
 
virtual Actorcopy (Space &home, bool share)
 Copy brancher. More...
 
size_t dispose (Space &home)
 Dispose member function. More...
 
- Public Member Functions inherited from Gecode::Brancher
unsigned int id (void) const
 Return unsigned brancher id. More...
 
virtual NGLngl (Space &home, const Choice &c, unsigned int a) const
 Create no-good literal for choice c and alternative a. More...
 
- Public Member Functions inherited from Gecode::Actor

Static Public Member Functions

static BrancherHandle post (Home home)
 Post brancher. More...
 
- Static Public Member Functions inherited from Gecode::Actor
static void * operator new (size_t s, Space &home)
 Allocate memory from space. More...
 
static void operator delete (void *p, Space &home)
 No-op for exceptions. More...
 

Additional Inherited Members

- Protected Member Functions inherited from Gecode::Brancher
 Brancher (Home home)
 Constructor for creation. More...
 
 Brancher (Space &home, bool share, Brancher &b)
 Constructor for cloning b. More...
 

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
inlinevirtual

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)
inlinevirtual

Return choice.

Implements Gecode::Brancher.

Definition at line 278 of file radiotherapy.cpp.

virtual Choice* Radiotherapy::NestedSearch::choice ( const Space ,
Archive e 
)
inlinevirtual

Return choice.

Implements Gecode::Brancher.

Definition at line 311 of file radiotherapy.cpp.

virtual ExecStatus Radiotherapy::NestedSearch::commit ( Space ,
const Gecode::Choice _c,
unsigned int   
)
inlinevirtual

Perform commit for choice _c and alternative a.

Implements Gecode::Brancher.

Definition at line 316 of file radiotherapy.cpp.

virtual void Radiotherapy::NestedSearch::print ( const Space ,
const Gecode::Choice _c,
unsigned int  ,
std::ostream &  o 
) const
inlinevirtual

Print explanation.

Reimplemented from Gecode::Brancher.

Definition at line 320 of file radiotherapy.cpp.

virtual Actor* Radiotherapy::NestedSearch::copy ( Space home,
bool  share 
)
inlinevirtual

Copy brancher.

Implements Gecode::Actor.

Definition at line 327 of file radiotherapy.cpp.

static BrancherHandle Radiotherapy::NestedSearch::post ( Home  home)
inlinestatic

Post brancher.

Definition at line 331 of file radiotherapy.cpp.

size_t Radiotherapy::NestedSearch::dispose ( Space home)
inlinevirtual

Dispose member function.

Reimplemented from Gecode::Actor.

Definition at line 335 of file radiotherapy.cpp.


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