precede.cpp File Reference

#include <gecode/int/precede.hh>
#include <gecode/int.hh>

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.

Namespaces