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

Shared implementation of negative 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::NegCompactAlgorithm< Actor >

Shared implementation of negative compact-table propagation.

Definition at line 782 of file compact.hpp.

Member Function Documentation

reschedule()

template<class Actor>

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

inlinestatic

Definition at line 784 of file compact.hpp.

propagate()

template<class Actor>

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

inlinestatic

Definition at line 788 of file compact.hpp.

advise()

template<class Actor>

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

inlinestatic

Definition at line 857 of file compact.hpp.

---

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

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