Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0

Functions

void Gecode::precede (Home home, const IntVarArgs &x, int s, int t, IntPropLevel=IPL_DEF)
 Post propagator that s precedes t in x.
 
void Gecode::precede (Home home, const IntVarArgs &x, const IntArgs &c, IntPropLevel=IPL_DEF)
 Post propagator that successive values in c precede each other in x.
 

Detailed Description

Function Documentation

◆ precede() [1/2]

void Gecode::precede ( Home home,
const IntVarArgs & x,
int s,
int t,
IntPropLevel = IPL_DEF )

Post propagator that s precedes t in x.

This constraint enforces that $x_0\neq t$ and $x_j=t \to \bigvee_{0\leq i<j} x_i=s$ for $0\leq j<|x|$. The propagator is domain consistent.

Definition at line 43 of file precede.cpp.

◆ precede() [2/2]

void Gecode::precede ( Home home,
const IntVarArgs & x,
const IntArgs & c,
IntPropLevel = IPL_DEF )

Post propagator that successive values in c precede each other in x.

This constraint enforces that $x_0\neq c_k$ for $0<k<|c|$ and $x_j=c_{k} \to \bigvee_{0\leq i<j} x_i=c_{k-1}$ for $0\leq j<|x|$ and $0< k<|c|$.

Definition at line 54 of file precede.cpp.