precede.cpp File Reference

#include <gecode/int/precede.hh>

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace

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.