Gecode::Space::ScheduledPropagators Class Reference

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

#include <core.hpp>

List of all members.

Public Member Functions
	ScheduledPropagators (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 scheduled propagators of a space.

Note that the iterator cannot be used during cloning.

Definition at line 2646 of file core.hpp.

---

Constructor & Destructor Documentation

Gecode::Space::ScheduledPropagators::ScheduledPropagators

(

Space &

home

)

[inline]

Initialize.

Definition at line 4793 of file core.hpp.

---

Member Function Documentation

bool Gecode::Space::ScheduledPropagators::operator()

(

void

)

const [inline]

Test whether there are propagators left.

Definition at line 4805 of file core.hpp.

void Gecode::Space::ScheduledPropagators::operator++

(

void

)

[inline]

Move iterator to next propagator.

Definition at line 4809 of file core.hpp.

Propagator & Gecode::Space::ScheduledPropagators::propagator

(

void

)

const [inline]

Return propagator.

Definition at line 4827 of file core.hpp.

---

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

• gecode/kernel/core.hpp