Gecode::Space::IdlePropagators Class Reference

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

#include <gecode/kernel/core.hpp>

Public Member Functions
	IdlePropagators (Space &home)
	Initialize.
bool	operator() (void) const
	Test whether there are propagators left.
void	operator++ (void)
	Move iterator to next propagator.
Propagator &	propagator (void) const
	Return propagator.

Detailed Description

Class to iterate over idle propagators of a space.

Note that the iterator cannot be used during cloning.

Definition at line 2778 of file core.hpp.

Constructor & Destructor Documentation

IdlePropagators()

Gecode::Space::IdlePropagators::IdlePropagators ( Space & home )

inline

Initialize.

Definition at line 5090 of file core.hpp.

Member Function Documentation

operator()()

bool Gecode::Space::IdlePropagators::operator() ( void ) const

inline

Test whether there are propagators left.

Definition at line 5095 of file core.hpp.

operator++()

void Gecode::Space::IdlePropagators::operator++ ( void )

inline

Move iterator to next propagator.

Definition at line 5099 of file core.hpp.

propagator()

Propagator & Gecode::Space::IdlePropagators::propagator ( void ) const

inline

Return propagator.

Definition at line 5103 of file core.hpp.

---

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

• gecode/kernel/core.hpp