Generated on Fri Oct 19 11:26:31 2018 for Gecode by doxygen 1.6.3

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