Generated on Sat Feb 7 2015 02:01:41 for Gecode by doxygen 1.8.9.1
Gecode::Space::Propagators Class Reference

Class to iterate over propagators of a space. More...

#include <core.hpp>

Public Member Functions

 Propagators (const Space &home)
 Initialize. More...
 
bool operator() (void) const
 Test whether there are propagators left. More...
 
void operator++ (void)
 Move iterator to next propagator. More...
 
const Propagatorpropagator (void) const
 Return propagator. More...
 

Detailed Description

Class to iterate over propagators of a space.

Note that the iterator cannot be used during cloning.

Definition at line 2264 of file core.hpp.

Constructor & Destructor Documentation

Gecode::Space::Propagators::Propagators ( const Space home)
inline

Initialize.

Definition at line 4067 of file core.hpp.

Member Function Documentation

bool Gecode::Space::Propagators::operator() ( void  ) const
inline

Test whether there are propagators left.

Definition at line 4085 of file core.hpp.

void Gecode::Space::Propagators::operator++ ( void  )
inline

Move iterator to next propagator.

Definition at line 4089 of file core.hpp.

const Propagator & Gecode::Space::Propagators::propagator ( void  ) const
inline

Return propagator.

Definition at line 4113 of file core.hpp.


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