/Users/jamian/Desktop/gecode-2.0.1/contribs/qecode/myDom.cc File Reference

#include "gecode/minimodel.hh"

Include dependency graph for myDom.cc:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	myAntidom_int (Space *home, IntVar x, const IntSet &is, IntConLevel)
void	myAntidom_bool (Space *home, BoolVar x, const IntSet &is, IntConLevel)

---

Function Documentation

void myAntidom_bool	(	Space *	home,
		BoolVar	x,
		const IntSet &	is,
		IntConLevel
	)

Definition at line 16 of file myDom.cc.

Referenced by Implicative::assign_bool(), and Implicative::remove_bool().

void myAntidom_int	(	Space *	home,
		IntVar	x,
		const IntSet &	is,
		IntConLevel
	)

Definition at line 9 of file myDom.cc.

Referenced by Implicative::assign_int(), and Implicative::remove_int().

---