/Users/jamian/qecode-1.1/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	antidom (Space *home, IntVar x, const IntSet &is, IntConLevel)

---

Function Documentation

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

Definition at line 9 of file myDom.cc.

Referenced by Implicative::assign(), and Implicative::remove().

---