Gecode::Propagators Class Reference

Class to iterate over propagators in a group. More...

#include <core.hpp>

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

Detailed Description

Class to iterate over propagators in a group.

Definition at line 2785 of file core.hpp.

Constructor & Destructor Documentation

Propagators()

Gecode::Propagators::Propagators ( Space &  home, PropagatorGroup  g  )

inline

Initialize.

Definition at line 5105 of file core.hpp.

Member Function Documentation

operator()()

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

inline

Test whether there are propagators left.

Definition at line 5111 of file core.hpp.

operator++()

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

inline

Move iterator to next propagator.

Definition at line 5115 of file core.hpp.

propagator()

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

inline

Return propagator.

Definition at line 5121 of file core.hpp.

---

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

• gecode/kernel/core.hpp (Revision: 15597)