Generated on for Gecode by doxygen 1.15.0
Functions
Value precedence constraints over set variables
Functionality by programming task » Programming models » Using integer set variables and constraints

Functions

void Gecode::precede (Home home, const SetVarArgs &x, int s, int t)
 Post propagator that s precedes t in x.
void Gecode::precede (Home home, const SetVarArgs &x, const IntArgs &c)
 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 SetVarArgs & x,
int s,
int t )

Post propagator that s precedes t in x.

This constraint enforces that if there exists $j$ such that $s\notin x_j\land t\in x_j$, then there exists $i<j$ such that $s\in x_i\land t\notin x_i$.

Definition at line 45 of file precede.cpp.

◆ precede() [2/2]

void Gecode::precede ( Home home,
const SetVarArgs & x,
const IntArgs & c )

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

Definition at line 56 of file precede.cpp.