/Users/jamian/Desktop/qecode/myDom.cc File Reference

#include "gecode/minimodel.hh"

Include dependency graph for myDom.cc:

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.

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

Definition at line 9 of file myDom.cc.

---