Generated on Fri Jul 21 2023 00:00:00 for Gecode by doxygen 1.9.8
Gecode::Space::IdlePropagators Class Reference

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

#include <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.
 
Propagatorpropagator (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 2718 of file core.hpp.

Constructor & Destructor Documentation

◆ IdlePropagators()

Gecode::Space::IdlePropagators::IdlePropagators ( Space home)
inline

Initialize.

Definition at line 4921 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 4926 of file core.hpp.

◆ operator++()

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

Move iterator to next propagator.

Definition at line 4930 of file core.hpp.

◆ propagator()

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

Return propagator.

Definition at line 4934 of file core.hpp.


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