Gecode::Int::Extensional::ReCompactAlgorithm< Actor > Class Template Reference

Shared implementation of reified compact-table propagation. More...

#include <gecode/int/extensional/compact.hpp>

Static Public Member Functions
static void	reschedule (Actor &actor, Space &home)
static ExecStatus	propagate (Actor &actor, Space &home)
static ExecStatus	advise (Actor &actor, Space &home, Advisor &advisor0)

Detailed Description

template<class Actor>
class Gecode::Int::Extensional::ReCompactAlgorithm< Actor >

Shared implementation of reified compact-table propagation.

Definition at line 895 of file compact.hpp.

Member Function Documentation

reschedule()

template<class Actor>

void Gecode::Int::Extensional::ReCompactAlgorithm< Actor >::reschedule ( Actor & actor, Space & home )

inlinestatic

Definition at line 897 of file compact.hpp.

propagate()

template<class Actor>

ExecStatus Gecode::Int::Extensional::ReCompactAlgorithm< Actor >::propagate ( Actor & actor, Space & home )

inlinestatic

Definition at line 901 of file compact.hpp.

advise()

template<class Actor>

ExecStatus Gecode::Int::Extensional::ReCompactAlgorithm< Actor >::advise ( Actor & actor, Space & home, Advisor & advisor0 )

inlinestatic

Definition at line 928 of file compact.hpp.

---

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

• gecode/int/extensional.hh
• gecode/int/extensional/compact.hpp