Test::Int::Count Namespace Reference

---

Detailed Description

Tests for count constraints.

Classes
class	IntInt
	Test number of equal integers 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	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...
Variables
Gecode::IntArgs	ints (4, 1, 0, 3, 2)
Create	c