Generated on Tue May 22 09:41:00 2018 for Gecode by doxygen 1.6.3

Gecode::Space::Propagators Class Reference

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

#include <core.hpp>

List of all members.

Public Member Functions

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

Detailed Description

Class to iterate over propagators of a space.

Note that the iterator cannot be used during cloning.

Definition at line 2621 of file core.hpp.

Constructor & Destructor Documentation

Gecode::Space::Propagators::Propagators ( Space home  )  [inline]


Definition at line 4741 of file core.hpp.

Member Function Documentation

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

Test whether there are propagators left.

Definition at line 4759 of file core.hpp.

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

Move iterator to next propagator.

Definition at line 4763 of file core.hpp.

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

Return propagator.

Definition at line 4787 of file core.hpp.

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