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

#include <core.hpp>

Public Member Functions
	Branchers (const Space &home)
	Initialize.
bool	operator() (void) const
	Test whether there are branchers left.
void	operator++ (void)
	Move iterator to next brancher.
const Brancher &	brancher (void) const
	Return propagator.

Detailed Description

Class to iterate over branchers of a space.

Note that the iterator cannot be used during cloning.

Definition at line 1952 of file core.hpp.

Constructor & Destructor Documentation

Gecode::Space::Branchers::Branchers ( const Space & home ) [inline]

Initialize.

Definition at line 3606 of file core.hpp.

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

Test whether there are branchers left.

Definition at line 3609 of file core.hpp.

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

Move iterator to next brancher.

Definition at line 3613 of file core.hpp.

const Brancher & Gecode::Space::Branchers::brancher ( void ) const [inline]

Return propagator.

Definition at line 3617 of file core.hpp.

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