Test::Int::Count Namespace Reference

Tests for count constraints More...

Classes
class	IntInt
	Test number of equal integers equal to integer More...
class	SetInt
	Test number of integers contained in an integer set equal to integer More...
class	IntIntDup
	Test number of equal integers equal to integer with duplicate variables More...
class	IntVar
	Test number of equal integers equal to integer variable More...
class	SetVar
	Test number of integers contained in an integer set equal to integer variable More...
class	IntArrayInt
	Test number of several equal integers equal to integer More...
class	IntArrayVar
	Test number of several equal integers equal to integer variable More...
class	IntVarShared
	Test number of equal integers equal to integer variable with sharing More...
class	VarVar
	Test number of equal variables equal to integer variable More...
class	VarInt
	Test number of equal variables equal to integer More...
class	VarVarSharedA
	Test number of equal variables equal to integer variable with sharing More...
class	VarVarSharedB
	Test number of equal variables equal to integer variable with sharing More...
class	VarVarSharedC
	Test number of equal variables equal to integer variable with sharing More...
class	Create
	Help class to create and register tests. More...
Functions
Gecode::IntArgs	ints ({1, 0, 3, 2})
Variables
Create	c

---

Detailed Description

Tests for count constraints