singleton.cc File Reference

(Revision: 5015)

#include "gecode/cpltset.hh"
#include "gecode/cpltset/propagators.hh"

Go to the source code of this file.

Namespaces
namespace	Gecode
Functions
void	Gecode::singleton (Space *home, IntVar x, CpltSetVar s)
	Post propagator for .