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

Shared implementation of positive 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, const Delta &delta)

Detailed Description

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

Shared implementation of positive compact-table propagation.

Definition at line 646 of file compact.hpp.

Member Function Documentation

reschedule()

template<class Actor>

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

inlinestatic

Definition at line 648 of file compact.hpp.

propagate()

template<class Actor>

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

inlinestatic

Definition at line 654 of file compact.hpp.

advise()

template<class Actor>

ExecStatus Gecode::Int::Extensional::PosCompactAlgorithm< Actor >::advise ( Actor & actor, Space & home, Advisor & advisor0, const Delta & delta )

inlinestatic

Definition at line 709 of file compact.hpp.

---

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

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